Congratulations to Dr Shaull Almagor who has joined Technion CS. His main areas of research are Formal verification of software and hardware, Model checking, Temporal Logic, Automata, Dynamical systems, Synthesis and Planning.

Dr. Almagor received his Ph.D. in Computer Science in 2016 from the Hebrew University of Jerusalem under the supervision of Prof. Orna Kupferman and between 2016-2019 was a postdoctoral fellow at Oxford University.

Welcome and good luck to Shaull![Back to the news index]