Rustam Galimullin
Scholar

Rustam Galimullin

Google Scholar ID: RpzZlUoAAAAJ
University of Bergen, Norway
Modal logicEpistemic LogicDynamic Epistemic LogicKnowledge RepresentationLogics for Multi-Agent Systems
Citations & Impact
All-time
Citations
136
 
H-index
8
 
i10-index
5
 
Publications
20
 
Co-authors
16
list available
Contact
Resume (English only)
Academic Achievements
  • Published multiple papers including 'Topic-Based Communication Between Agents', 'First-Order Coalition Logic', 'Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems' and presented at various international conferences.
Research Experience
  • Worked as a postdoc at the University of Bergen and LSV (CNRS, ENS Paris-Saclay).
Education
  • Received a PhD degree from the School of Computer Science, Nottingham University, under the supervision of Natasha Alechina.
Background
  • Currently an associate professor at the Department of Information Science and Media Studies, University of Bergen. Research interests include modal logics for multi-agent systems, specifically dynamic epistemic logics and strategy logics.
Miscellany
  • Taught a course on Quantification in Dynamic Epistemic Logic.