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 first_name.last_name

Galimullin, R., Ågotnes, T., and Alechina, N. (2019). Group Announcement Logic with Distributed Knowledge. In Blackburn, P., and Lorini, E., editors,

*Proceedings of the 7th LORI*, volume 11813 of*LNCS*, 98–111. Springer.[paper] [slides]Perrotin, E., Galimullin, R., Canu, Q., and Alechina, N. (2019). Public Group Announcements and Trust in Doxastic Logic. In Blackburn, P., and Lorini, E., editors,

*Proceedings of the 7th LORI*, volume 11813 of*LNCS*, 199–213. Springer.[paper] [slides by Elise]Galimullin, R. (2019) Coalition announcements. PhD Thesis, University of Nottingham, UK. [thesis]

French, T., Galimullin, R., van Ditmarsch, H., and Alechina, N. (2019). Groups versus coalitions: on the relative expressivity of GAL and CAL. In Agmon, N., Taylor, M. E., Elkind, E., and Veloso M., editors,

*Proceedings of the 18th AAMAS*, pages 953–961. IFAAMAS. [paper] [slides] [poster]Galimullin, R., Alechina, N., and van Ditmarsch, H. (2018). Model checking for coalition announcement logic. In Trollmann, F. and Turhan, A.-Y., editors,

*KI 2018: Advances in Artificial Intelligence*, volume 11117 of*LNCS*, pages 11–23. Springer. [paper] [slides] [student paper award]Galimullin, R. and Alechina, N. (2017). Coalition and group announcement logic. In Lang, J., editor,

*Proceedings of the 16th TARK*, volume 251 of*EPTCS*, pages 207–220. [paper] [poster] [corrected version of the paper]Presentation at NASSLLI 2016 [slides]

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

G52ACE Algorithms Correctness and Efficiency

G52ACE Algorithms Correctness and Efficiency

G53KRR Knowledge Representation and Reasoning

54REM Research Methods

G52ACE Algorithms Correctness and Efficiency

G52ACE Algorithms Correctness and Efficiency

G51MCS Mathematics for Computer Scientists

G54REM Research Methods

G51MCS Mathematics for Computer Scientists