Ljupčo Todorovski is a professor of computer science at the Faculty of Mathematics and Physics at the University of Ljubljana. His research interests lie in artificial intelligence, with a particular focus on developing machine learning algorithms for computational discovery of scientific knowledge and models from experimental data. Recently, he has been collaborating with mathematicians to design AI tools that support formalization of mathematics with proof assistants.