Rustam Galimullin

Rustam Galimullin is an Associate Professor at the Department of Information Science and Media Studies at the University of Bergen. His research focuses on formal logic systems, particularly in the areas of epistemic logic, coalition logic, and multi-agent systems. He has contributed to topics such as quantified public announcements, partial communication mechanisms, and formal verification of smart contracts. His work bridges theoretical foundations with practical applications in social networks and artificial intelligence.

Galimullin's recent research includes studies on visibility dynamics in social networks, satisfiability complexity of logical systems, and the expressivity of quantified announcement logics. He has authored/co-authored over 20 peer-reviewed articles and edited conference proceedings, demonstrating expertise in both theoretical computer science and applied logic.

His publications explore themes like:

• Dynamic epistemic logic and its extensions
• Formal verification techniques for multi-agent systems
• Model checking for coalition and group announcement logics
• Applications of logic in social network analysis

Galimullin actively participates in academic conferences such as AAMAS, NAIS, and WoLLIC, contributing to the advancement of logic-based methodologies in AI and information science.