About me

In February 2022 I joined the SWYSTEMS research group at USI Lugano, after completing MSc in Informatics at USI. In my previous life I was was an assistant professor in mathematics at the Faculty of Mathematics and Physics at the University of Ljubljana and I hold a PhD in algebraic geometry from the Mathematics Institute at the University of Warwick.

My research in mathematics centered on the determinantal representations of algebraic curves, with fascinating applications in cryptography, optimization, and quantum information theory.

Currently I am working on quantum networks; my research is ranging from developing language and logic for modeling and reasoning about quantum network protocols, to expanding a tool suite.

My latest academic interests include applying algebraic approaches to reasoning about programs, by focusing on concurrent, (non)deterministic, and probabilistic control flow.

If you are interested in doing research with me, please reach out!