I am a researcher at the Faculty of Mathematics and Physics, University of Ljubljana (PhD in Mathematics). I started in graph theory and now work on open infrastructure for mathematical data: databases, catalogues, and tools that make mathematical objects easy to find, reuse, and reason about, by people and, increasingly, by machines.
I’m also working toward linking mathematical knowledge across the literature, formalized libraries (Lean/Mathlib), computer-algebra systems, and structured databases (OEIS, LMFDB, House of Graphs, π-Base).
Contact
- e-mail: katja.bercic@fmf.uni-lj.si
- GitHub: katjabercic
- ORCID: 0000-0002-6678-8975
- dblp: profile
- Google Scholar: profile
- zbMATH: profile
- office: 5.07
- address:
Katja Berčič
Fakulteta za matematiko in fiziko
Jadranska 21
SI-1000 Ljubljana
Slovenia