Teaching activities

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

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