Dr. Gera Weiss

geraw foto Assistant professor

Contacts

Email:
Homepage:
Office: 123 in 37 building
Phone number: 08-6428047
Fax number: 08-6477650
Box number: 63
Office hours: Wed 12:00-14:00

Teaching

Fall 2009-2010 20215671 Formal Verification Methods
Spring 2010 20225631 Hybrid Systems
Fall 2010-2011 20215671 Formal Verification Methods
Spring 2011 20215181 Object Oriented Software Design
Spring 2011 20225631 Hybrid Systems
Fall 2011-2012 20215671 Formal Verification Methods
Spring 2012 33333 experiments
Spring 2012 20215181 Object Oriented Software Design
Spring 2012 20225801 Introduction to Hybrid Systems
Fall 2012-2013 20225631 Hybrid Systems
Spring 2013 20213061 Introduction to Formal Verification Methods

Research groups

Logic and semantics
Robotics
Software engineering and verification