Person. Andrej Bauer Professor of computational mathematics · University of Ljubljana · andrej.com · 0000-0001-5378-0547 · https://github.com/andrejbauer · @andrejbauer@mathstodon.xyz PhD advisorDana Scott PhD studentsPhilipp G. Haselwarter PhDCarnegie Mellon University