Sadegh Soudjani
Address
Sadegh Soudjani, PhD
Postdoctoral Researcher
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD, UK
Contact
Room: 430
Phone: +44 (0) 18656 10801
Email: sadegh[dot]soudjani@cs.ox.ac.uk
Homepage:
www.cs.ox.ac.uk/people/sadegh.soudjani/
Research Interests
Formal Synthesis, Abstraction, and Verification (over probabilistic temporal specifications), with application to Cyber-Physical Systems and Stochastic Hybrid Systems, particularly involving power and energy networks, smart grids, systems biology, robotics, and transportation systems