---
# System prepended metadata

title: Members

---

<!---
layout: page
title: Members
members.md
--->

# Members

## Primož Potočnik

* <i class="fas fa-home"></i> <a href="https://www.fmf.uni-lj.si/~potocnik/">www.fmf.uni-lj.si/~potocnik/</a>
* MR Author ID: 366771
* ORCID iD: [0000-0001-5028-3545](https://orcid.org/0000-0001-5028-3545)
* Google Scholar
{: .icon-links}

## Andrej Bauer

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.

* <a href="https://www.andrej.com/">www.andrej.com</a>
* [COBISS](https://bib.cobiss.net/biblioweb/direct/si/eng/cris/15854)
* [DBLP](http://dblp.uni-trier.de/pers/hd/b/Bauer:Andrej)
* [MathReviews](http://www.ams.org/mathscinet/search/author.html?mrauthid=640857)
* [ORCID iD](https://orcid.org/0000-0001-5378-0547)
* [Google scholar](https://scholar.google.com/citations?user=gty0SkUAAAAJ&hl=en)
{: .icon-links}

## Matjaž Konvalinka

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.


* <i class="fas fa-home"></i> <a href="https://www.fmf.uni-lj.si/~konvalinka/">www.fmf.uni-lj.si/~konvalinka/</a>
* MR Author ID: 782436
* ORCID iD: [0000-0002-0739-6744](https://orcid.org/0000-0002-0739-6744)
* [Google Scholar](https://scholar.google.com/citations?user=JdI5eBwAAAAJ&hl=en)
{: .icon-links}

## Bor Plestenjak

* <i class="fas fa-home"></i> <a href="https://www.fmf.uni-lj.si/~plestenjak/bor.htm">www.fmf.uni-lj.si/~plestenjak/bor.htm</a>
* MR Author ID: 607847
* ORCID iD: [0000-0002-0463-7223](https://orcid.org/0000-0002-0463-7223)
* Google Scholar
{: .icon-links}

## Tomaž Pisanski

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](https://link.springer.com/book/10.1007/978-0-8176-8364-1)" that was published in 2013 by Birkhaüser/Springer.

* <i class="fas fa-home"></i> <a href="https://www.famnit.upr.si/en/about-faculty/staff/pisanski/"></a>https://www.famnit.upr.si/en/about-faculty/staff/pisanski/
* MR Author ID: 139995
* ORCID iD: [0000-0002-1257-5376](https://orcid.org/0000-0002-1257-5376)
* [Google Scholar](https://scholar.google.si/citations?user=BHq3KF4AAAAJ&hl=en)
* [Wikipedia](https://en.wikipedia.org/wiki/Toma%C5%BE_Pisanski)
* [Math Genealogy Project](https://www.mathgenealogy.org/id.php?id=20387)
* [Academia Europaea](https://www.ae-info.org/ae/Member/Pisanski_Toma%C5%BE)
* [Engineering Academy of Slovenia](https://www.ias.si/en/tomaz-pisanski)

## Vladimir Batagelj

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](http://mrvar.fdv.uni-lj.si/pajek/) for analysis and visualization of large networks.
He co-authored two books '[Generalized blockmodeling](https://www.cambridge.org/core/books/generalized-blockmodeling/E9B040215C13C1819EA98F2F932BE0CE)' and '[Exploratory Social Network Analysis with Pajek](https://www.cambridge.org/core/books/exploratory-social-network-analysis-with-pajek/6F8EE2512CB7C6D233DB2DAC3886D4F5)'  that were published in 2005 by the Cambridge University Press, and another book ‘[Understanding Large Temporal Networks and Spatial Networks](https://www.wiley.com/en-us/Understanding+Large+Temporal+Networks+and+Spatial+Networks:+Exploration,+Pattern+Searching,+Visualization+and+Network+Evolution-p-9780470714522)’ published by Wiley in 2014.  He also co-authored and co-edited the book ‘[Advances in Network Clustering and Blockmodeling](https://www.wiley.com/en-ie/Advances+in+Network+Clustering+and+Blockmodeling-p-9781119224709)’ published by Wiley in 2020.

* <i class="fas fa-home"></i> <a href="http://vladowiki.fmf.uni-lj.si/doku.php?id=vlado">[vlado.fmf.uni-lj.si/vlado/vlado.htm](http://vladowiki.fmf.uni-lj.si/doku.php?id=vlado)</a>
* MR Author ID: 32440
* Scopus Author ID: 56037441100
* ORCID iD: [0000-0002-0240-9446](https://orcid.org/0000-0002-0240-9446)
* [Google Scholar](https://scholar.google.com/citations?hl=en&user=H68hVhMAAAAJ)
* [COBISS](https://plus.cobiss.net/cobiss/si/en/bib/search?q=batagelj+vladimir&db=cobib&mat=allmaterials)
* [Sicris](https://cris.cobiss.net/ecris/si/en/researcher/4275)
* [Mathematics Genealogy](https://www.genealogy.math.ndsu.nodak.edu/id.php?id=20389)
{: .icon-links}

## Matija Pretnar

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.

* <i class="fas fa-home"></i> <a href="https://matija.pretnar.info">matija.pretnar.info</a>
{: .icon-links}
* Scopus Author ID: 24779850800
* ORCID iD: [0000-0001-7755-2303](https://orcid.org/0000-0001-7755-2303)
* [DBLP](http://dblp.uni-trier.de/pers/hy/p/Pretnar:Matija) bibliography
* [COBISS](https://bib.cobiss.net/biblioweb/biblio/si/slv/cris/32320) bibliography
* [Google Scholar](https://scholar.google.com/citations?user=VbovIwwAAAAJ)

## Katja Berčič

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.

* <i class="fas fa-home"></i> <a href="http://katja.not.si">katja.not.si</a>
* MR Author ID: 993873
{: .icon-links}
* Scopus Author ID: 55363032300
* ORCID iD: [0000-0002-6678-8975](https://orcid.org/0000-0002-6678-8975)
* [DBLP](https://dblp.uni-trier.de/pid/120/1392.html) bibliography
* [COBISS](https://bib.cobiss.net/biblioweb/biblio/si/slv/cris/33231) bibliography
* [Google Scholar](https://scholar.google.com/citations?user=81U2ZcIAAAAJ)

## Nino Bašić

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.

* <i class="fas fa-home"></i> <a href="https://osebje.famnit.upr.si/~nino.basic">https://osebje.famnit.upr.si/~nino.basic</a>
{: .icon-links}
* MR Author ID: 1142331
* ORCID iD: [0000-0002-6555-8668](https://orcid.org/0000-0002-6555-8668)
* [Google Scholar](https://scholar.google.com/citations?user=27ZHS2AAAAAJ)
* [Math Genealogy Project](https://www.mathgenealogy.org/id.php?id=204905)

## Arjana Žitnik


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. 

* <i class="fas fa-home"></i> <a href="https://www.fmf.uni-lj.si/~zitnik/">www.fmf.uni-lj.si/~zitnik/</a>
* MR Author ID: 355373
* ORCID iD: [0000-0001-7737-1836](https://orcid.org/0000-0001-7737-1836)
* [Google Scholar](https://scholar.google.com/citations?user=FWeMsk8AAAAJ)
{: .icon-links}


## Filip Koprivec

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.

* <i class="fas fa-home"></i> <a href="https://github.com/jO-Osko/">https://github.com/jO-Osko/</a>
* ORCID iD: [0000-0001-9624-9369](https://orcid.org/0000-0001-9624-9369)
* Scopus Author ID: 57219602862
* [DBLP](https://dblp.uni-trier.de/pid/281/2015.html) bibliography
* [COBISS](https://bib.cobiss.net/biblioweb/biblio/si/slv/conor/235638115) bibliography
* [Google Scholar](https://scholar.google.com/citations?user=5sT3DU4AAAAJ)
{: .icon-links}



