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: Tue 9:00-11: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 20215181 Object Oriented Software Design
Spring 2012 20225631 Hybrid Systems

Research groups

Logic and semantics
Robotics
Software engineering and verification