Rustam Galimullin


I am a postdoctoral researcher at LSV, CNRS, ENS Paris-Saclay. Before that, I was a PhD student at the School of Computer Science, Nottingham University, working under the supervision of Natasha Alechina. My research interests are in modal logic, and specifically in dynamic epistemic logic. You can reach me at

Academic work


Teaching assistant at the School of Computer Science of the University of Nottingham for the following modules: