Dr. Weiss Gera

Dr. Weiss Gera Profile

Senior Lecturer, Head Of TC Graduate Students, Admission Graduate Students, Advisor Graduate Students

Room : 37/123
Phone : 08-6428047
Email : geraw@cs.bgu.ac.il
Homepage : https://www.cs.bgu.ac.il/~geraw
Fax : 08-6477650
Box Number : 63
Office Hours : Sunday 14.00-16.00

Research groups:
Artificial Intelligence and Machine Learning:Robotics
Computer Systems, Communication, and Software Engineering:Software engineering and verification
Theory of Computer Science:Logic and Semantics
Teaching (last two years):
Spring 2019: Topics in behavioral programming
Fall 2019: Introduction to FORMAl Verification Methods
Fall 2019: Seminar on advanced topics in Computer Science
Spring 2018: Cyber Riddles
Fall 2018: Introduction to Internet Of Things (IoT)
Fall 2018: Introduction to FORMAl Verification Methods