Jure Taslak

I'm a PhD student of mathematics at the Faculty of Mathematics and Physics, University of Ljubljani, under the supervision of prof. dr. Andrej Bauer.

For my PhD I'm researching domain specific type theories for finite mathematics.

Contact