Projects

• Formal Verification of Floating Point Algorithms Using PVS
• CS145 AuctionBase Contest Winner
• SLOrktastic Chamber Music I
• SLOrktastic Chamber Music II
• Applying Diversity Metrics to Improve the Selection of Web Serach Term Refinements (with Jan Pfeifer)
• JavaScript AES Twitter Encryption Browser Extension