Team

Andrej Bauer

Head of Theoretical Computer Science at IMFM and professor of computational mathematics at the University of Ljubljana.

Professor of mathematics at the University of Ljubljana, specializing in symmetry in combinatorial structures.

Professor of computer science at the University of Ljubljana, specializing in machine learning for scientific discovery.

Associate Professor at the University of Tartu, working on programming language theory and type systems.

Assistant Professor at the University of Ljubljana, working on mathematical data computation

Researcher at IMFM, working on infrastructure for mathematical data.