Vladimir Batagelj is Professor Emeritus at University of Ljubljana (2015) and senior researcher at IMFM Ljubljana and IAM UP Koper.
His main research interests are in mathematics and computer science, combinatorics with emphasis on graph theory, algorithms on graphs and networks, combinatorial optimization, algorithms and data structures, cluster analysis, symbolic data analysis, visualization, social network analysis and applications of information technology in education.
He is a co-author of program Pajek for analysis and visualization of large networks. He co-authored two books ‘Generalized blockmodeling’ and ‘Exploratory Social Network Analysis with Pajek’ that were published in 2005 by the Cambridge University Press, and another book ‘Understanding Large Temporal Networks and Spatial Networks’ published by Wiley in 2014. He also co-authored and co-edited the book ‘Advances in Network Clustering and Blockmodeling’ published by Wiley in 2020.
Andrej Bauer is a professor of computational mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, and the head of Theoretical Computer Science department at the Institute of mathematics, physics and mechanics.
His work spans foundations of mathematics, constructive and computable mathematics, type theory, homotopy type theory, and mathematical principles of programming languages. He is an author of the book “Homotopy Type Theory: Univalent Foundations of Mathematics” and the initiator of the HoTT library, an extensive formalization of homotopy type theory in the Coq proof assistant. He is also known for his seminal work with Matija Pretnar on programming with algebraic effects and handlers.
Nino Bašić is currently an assistant professor at the Faculty of Mathematics, Natural Sciences and Information Technology at the University of Primorska (UP FAMNIT) and a researcher at the Institute of Mathematics, Physics and Mechanics. His research interests include chemical graph theory, topological graph theory, applications of graph theory in science, and combinatorial configurations. He is an active member of the Slovenian Discrete and Applied Mathematics Society and editor of several scientific journals.
Katja Berčič is a postdoctoral researcher and a teaching assistant at the Faculty of Mathematics and Physics, University of Ljubljana. She is interested in knowledge representation and management, particularly for mathematics. She is collaborating with KWARC on MathDataHub and building a bridge between a database of graphs and the Lean proof assistant together with Andrej Bauer and Jure Taslak.
Matjaž Konvalinka is a professor of mathematics at the Faculty of Mathematics and Physics, University of Ljubljana. His research area are algebraic and enumerative combinatorics. He is the Editor-in-Chief of Annals of Combinatorics and a member of the editorial board of several other journals.
Filip Koprivec is a young researcher at Institute of Mathematics, Physics and Mechanics and teaching assistant at Faculty of Mathematics and Physics, University of Ljubljana. His research focuses on programming languages and efficient compilation of algebraic effects and handlers. He is also interested in blockchain technologies.
Tomaž Pisanski is a senior researcher at IAM UP Koper, IMFM and FMF UL Ljubljana.
He is a co-author of a book “Configurations from a graphical viewpoint” that was published in 2013 by Birkhaüser/Springer.
Matija Pretnar is an assistant professor of computational mathematics at the Faculty of Mathematics and Physics, University of Ljubljana. His research focuses on formalization, implementation, and semantics of programming languages. He is an expert on programming with computational effects, best known as the inventor (with Gordon Plotkin) of algebraic effect handlers.
Arjana Žitnik is an associate professor of mathematics at the Faculty of Mathematics and Physics, University of Ljubljana and a researcher at the Institute of Mathematics, Physics and Mechanics. Her research is in discrete mathematics with applications, in particular in graph theory, representations of graphs and other discrete objects, symmetries of graphs, algebraic combinatorics, configurations.