COMP 492: Spring Senior Seminar in Computer Science, 2016

fall	spring

(original photos at full resolution: senior-seminar-photos.zip)

• Syllabus (version 3, uploaded 3/1/2016)
• Summary schedule
• Detailed schedule and class resources
• Assignments
• Discussion spreadsheet
• Fall senior seminar
• Project web pages:
  • ACRES: Agricultural Contact Record Entry System (Jiayi, Hannah, Mackenzie, JT)
  • Applying Novelty Search to Construct Ensemble System (Hieu)
  • A Case Study on Modeling Social Network Privacy Policies Using Event-B (Caroline)
  • Dson Energy Analyzer (Santiago, Asir)
  • Pain Management: Development of a Formally Verified Android Application Using EventB2SQL (Graham)
  • Peace Operations Tool Kit (Mamadou, Edwin)
  • Peacekeeping Assessment Tool (Leonard, Eric, Nadim, Jacob, Gabe)
  • Re-implementation of FARMDATA app using Django and Backbone/Reactjs (Tim, Maurice)
  • Whiteboard Scanning using Super-resolution (Nimo)