Dr. Gera Weiss

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

Research: My research fields are software engineering, control theory, and combinatorics.

Contacts

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

Teaching

Fall 2018-2019 20224731 Introduction to Internet Of Things (IoT)
Fall 2018-2019 20213061 Introduction to FORMAl Verification Methods
Fall 2017-2018 20213061 Introduction to FORMAl Verification Methods
Fall 2017-2018 20215631 Topics In Computer Scinces H
Fall 2017-2018 20228171 Seminar on advanced topics in Computer Science
Fall 2017-2018 20224731 Introduction to Internet Of Things (IoT)
Spring 2018 20224931 Cyber Riddles
Spring 2018 20214711 General Mini-Project
Spring 2018 20225521 Advanced Topics in Computer Sciences -2
Spring 2018 20228171 Seminar on advanced topics in Computer Science
Fall 2016-2017 20213061 Introduction to FORMAl Verification Methods
Spring 2017 20225631 Hybrid Systems
Fall 2015-2016 20213061 Introduction to FORMAl Verification Methods
Fall 2015-2016 20217771 Research experience 1 for oustanding Students in "Dkalim" Program
Spring 2016 20217772 Research experience 2 for oustanding Students in "Dkalim" Program
Spring 2016 20225631 Hybrid Systems
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 20225801 Introduction to Hybrid Systems
Spring 2012 20215181 Principles of Object Oriented Programming
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