Andrej Bauer

I am a professor of computational mathematics at the Faculty of Mathematics and Physics, University of Ljubljana.

Contact