CSSE 490: Proposed applications

• Michael: Software verification
• Josh: Expert Systems (Online Doctor)
• Andy: Hardware Optimization
• Ben: Semantic Web
• Daniel: BioInformatics