Rustam Galimullin
Position
Associate Professor
Affiliation
Research groups
Research
Check out my website for an up-to-date list of publications.
Teaching
Spring 2025, Machine Learning INFO284 V25
Autumn 2024, Blockchain technology and formal methods INFO384 H24
Autumn 2024, Blockchain technology INFO384B H24
Autumn 2023, Blockchain technology and formal methods INFO384 H23
Autumn 2023, Introduction to Artificial Intelligence AIKI100 H23H
Spring 2023, Artificial Agents AIKI110 V23V
Autumn 2022, Blockchain technology and formal methods INFO384 H22
Autumn 2021, Knowledge Representation and Reasoning INFO282 H21
Publications
2024
- Galimullin, Rustam; Velázquez-Quesada, Fernando R. (2024). Topic-Based Communication Between Agents. (external link)
- Galimullin, Rustam; Kuijer, Louwe B. (2024). Synthesizing Social Laws with ATL Conditions. (external link)
- Dolgorukov, Vitaly; Galimullin, Rustam; Gladyshev, Maksim (2024). Dynamic Epistemic Logic of Resource Bounded Information Mining Agents. (external link)
- Galimullin, Rustam; Kuijer, Louwe B. (2024). Varieties of Distributed Knowledge. (external link)
2023
- Galimullin, Rustam; Pedersen, Mina Young (2023). Visibility and exploitation in social networks. (external link)
- Alechina, Natasha; van Ditmarsch, Hans; French, Tim et al. (2023). The Expressivity of Quantified Group Announcements. (external link)
- Galimullin, Rustam; Touileb, Samia (2023). Proceedings of the 5th Symposium of the Norwegian AI Society (NAIS 2023). (external link)
- Galimullin, Rustam; Velázquez-Quesada, Fernando R. (2023). (Arbitrary) Partial Communication. (external link)
- Ågotnes, Thomas; Galimullin, Rustam (2023). Quantifying over information change with common knowledge. (external link)
- Galimullin, Rustam; Ågotnes, Thomas (2023). Action Models for Coalition Logic. (external link)
- Galimullin, Rustam; Kuijer, Louwe B. (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. (external link)
2022
- Ågotnes, Thomas; Alechina, Natasha; Galimullin, Rustam (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. (external link)
- Galimullin, Rustam; Ågotnes, Thomas (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. (external link)
- Galimullin, Rustam; Pedersen, Mina Young; Slavkovik, Marija (2022). Logic of Visibility in Social Networks. (external link)
2021
- Galimullin, Rustam; Ågotnes, Thomas (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. (external link)
- Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam et al. (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. (external link)
- Galimullin, Rustam; Ågotnes, Thomas (2021). Quantified Announcements and Common Knowledge. (external link)
- Galimullin, Rustam (2021). Coalition and Relativised Group Announcement Logic. (external link)
- van Ditmarsch, Hans; French, Tim; Galimullin, Rustam (2021). No Finite Model Property for Logics of Quantified Announcements. (external link)