Mahsa Shirmohammadi is a researcher employed by the Centre National de la Recherche Scientifique (CNRS, France).Contact Mahsa
This year she will be visiting the Department of Computer Science at Oxford, where she was a postdoctoral research assistant from 2015 to 2018, working with Dr Stefan Kiefer. Mahsa did her PhD jointly between ULB in Belgium and ENS Cachan in France and, before that, her first degree at Isfahan in Iran.
Mahsa will be hosted by the Automated Verification group at the University of Oxford. Automated verification concerns algorithmic methods for certifying the correctness and trustworthiness of computer systems. Mahsa's work focusses on games, probabilistic systems, and real-time computer systems. Games are used in automated verification to model strategic situations arising in optimisation and algorithm design. While in Oxford, Mahsa will investigate how much memory and computational power are required for optimal play in multi-player games and games against nature.
Further to this, Mahsa also plans to work on the problem of optimising multiple objectives in real-time computing, for example, scheduling tasks under various cost constraints. Such problems turn out to be closely related to questions in arithmetic that lie on the border between what can and cannot be solved by algorithmic methods.
Outside of the laboratory, Mahsa is a keen (rather than accomplished) dancer and walker. She will be happy to recruit members of College for trips to explore the Oxford countryside and expeditions to the Holywell Music Room.