Stanislav Kikot

Stanislav Kikot

Stanislav graduated from the Faculty of Mechanics and Mathematics of Moscow State University, specialising in mathematical logic and theory of algorithms. He taught at MIPT. He has worked as a researcher-developer at Yandex and as a postdoc at foreign universities (Oxford, Birkbeck, London Metropolitan). Author of more than 40 publications on formal logic, computational complexity and database theory.

He is now responsible for the interaction of the unmanned car with other agents.

Talks from 2024 season