Teaching activities

Professor Natasha Sharygina as a faculty member teaches regular classes at University of Lugano. Other group members usually help as teaching assistants.

• Spring 2010: Undergraduate class on Theory of Computation
• Winter 2009: Graduate class on Computer-Aided Verification
• Spring 2009: Undergraduate class on Theory of Computation
• Winter 2008: Graduate class on Computer-Aided Verification
• Spring 2008: Undergraduate class on Theory of Computation
• Fall 2007: Graduate class on Software Verification and Security
• Spring 2007: Graduate class on Program Analysis
• Fall 2006: Graduate class on Software Formal Verification
• Fall 2006: Undergraduate class on Theory of Computation
• Spring 2006: Graduate seminar on Current Research Issues on Formal Reasoning
• Spring 2006: Undergraduate class on Software Design (co-instructored with Prof. Alex Wolf)
• Fall 2005: Graduate class on Automated Formal Verification