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