Photo of Dr. Shaull Almagor

Dr. Shaull Almagor

Contact information
Homepage:
http://shaull.cswp.cs.technion.ac.il/
Email:
shaullcs.technion.ac.il
Office:
635
Phone:
(972)-4-829-4322
Research interests
Formal verification of software and hardware, Model checking, Temporal Logic, Automata, Dynamical systems, Synthesis and Planning.