Rustam Galimullin

Position

Associate Professor

Affiliation

Research groups

Research

Check out my website for an up-to-date list of publications.

Teaching

Autumn 2023, Blockchain technology and formal methods (INFO384 23H)

Autumn 2023, Introduction to Artificial Intelligence (AIKI100 23H)

Spring 2023, Artificial Agents (AIKI110 23V)

Autumn 2022, Blockchain technology and formal methods (INFO384 22H)

Autumn 2021, Knowledge Representation and Reasoning (INFO282 21H)

 

Publications
Academic chapter/article/Conference paper
Academic article
Academic anthology/Conference proceedings

See a complete overview of publications in Cristin.