Dr. Gera Weiss

geraw foto Assistant professor
Head of teaching committee chair1 (graduate students)
Graduate students admission
Advisor for graduate students

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 2017-2018 20224731 Introduction to Internet Of Things (IoT)
Fall 2017-2018 20213061 Introduction to FORMAl Verification Methods
Fall 2016-2017 20213061 Introduction to FORMAl Verification Methods
Spring 2017 20225631 Hybrid Systems
Fall 2015-2016 20217771 Research experience 1 for oustanding Students in "Dkalim" Program
Fall 2015-2016 20213061 Introduction to FORMAl Verification Methods
Spring 2016 20225631 Hybrid Systems
Spring 2016 20217772 Research Experiment 2 For Honor Students in Dekalim
Fall 2014-2015 20213061 Introduction to FORMAl Verification Methods
Spring 2015 20225631 Hybrid Systems
Summer 2015 20213061 Introduction to FORMAl Verification Methods
Fall 2013-2014 20225631 Hybrid Systems
Spring 2014 20213061 Introduction to FORMAl Verification Methods
Fall 2012-2013 20225631 Hybrid Systems
Spring 2013 20213061 Introduction to FORMAl Verification Methods
Fall 2011-2012 20215671 Formal Verification Methods
Spring 2012 20215181 Principles of Object Oriented Programming
Spring 2012 20225801 Introduction to Hybrid Systems
Fall 2010-2011 20215671 Formal Verification Methods
Spring 2011 20225631 Hybrid Systems
Spring 2011 20215181 Principles of Object Oriented Programming
Fall 2009-2010 20215671 Formal Verification Methods
Spring 2010 20225631 Hybrid Systems

Research groups

Logic and semantics
Robotics
Software engineering and verification