Andrej Bauer, slovenski matematik, * 11. maj 1971.
Bauer je profesor računalniške matematike na Fakulteti za matematiko in fiziko Univerze v Ljubljani v Sloveniji. Opravlja raziskave na področju logike, konstruktivne in izračunljive matematike, teorije tipa, in semantike programskih jezikov.
Izobraževanje in kariera Doktoriral je s področja računalniške analize in topologije na leta 2000. Njegov mentor je bil .Google Scholar Citations of papers by Andrej Bauer Za disertacijo je prejel študentsko nagrado.School of Computer Science, Carnegie Mellon University: Student Awards Vrnil se je v Slovenijo in poučuje na Univerzi v Ljubljani, kjer je leta 2014 napredoval do profesorja računalniške matematike.University of Ljubljana: Mathematics and Physics Faculty Inaugural lecture prof. dr. Andrew Bauer
Bauer je bil glavni koordinator za 47. mednarodno matematično olimpijado, ki je potekala v Sloveniji leta 2006.47th International Mathematical Olympiad Slovenia 2006
Ameriško matematično društvo (AMS) mu je leta 2022 za članek »Pet korakov v sprejemanju konstruktivne matematike« podelilo nagrado Levija L. Contanta, ki je nagrada za najboljši ekspozicijski članek, objavljen v glasilih AMS v zadnjih petih letih.
Viri in opombe
Zunanje povezave Uradna spletna stran Andrej Bauer, profesor računalniške matematike. Ime tedna (18. oktober 2021). Val 202 (RTV Slovenija).
Kategorija:Slovenski matematiki Kategorija:Predavatelji na Fakulteti za matematiko in fiziko v Ljubljani Kategorija:Slovenski univerzitetni učitelji Kategorija:Ljubljančani Kategorija:Diplomiranci Fakultete za matematiko in fiziko v Ljubljani Kategorija:Doktorirali na Univerzi Carnegie Mellon