Contact Information
 |
Office: Building 37, Room 123 Phone: 972-8-6428047 Mobile: 972-54-9797985 Address: Department of Computer Science, Ben Gurion University, P.O.B 653 Be'er Sheva 84105 Israel E-mail: geraw@cs.bgu.ac.il |
Research Interests: Software Engineering, Formal Methods, Model Checking, Hybrid Systems, Control Theory