Skip to content (access key 's')
Logo of Technion
Logo of CS Department
General Information


Dr. Shaull Almagor Joins CS
Sunday, August 18, 2019
Dr. Shaull Almagor Joins CS 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]