[Back to the news index]
Congratulations to Dr
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.
2016-2019 was a postdoctoral fellow at Oxford
Welcome and good luck to Shaull!