Andrej Bauer

Iz Wikipedije, proste enciklopedije
Jump to navigation Jump to search
Andrej Bauer
Portret
Rojstvo11. maj 1971({{padleft:1971|4|0}}-{{padleft:5|2|0}}-{{padleft:11|2|0}}) (48 let)
DržavljanstvoFlag of Slovenia.svg Slovenija
Flag of Yugoslavia (1946-1992).svg SFRJ
Poklicmatematik, univerzitetni profesor

Andrej Bauer (rojen 11. maj 1971) 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. [1]

Izobraževanje in kariera[uredi | uredi kodo]

Doktoriral je s področja računalniške analize in topologije na Univerzi Carnegie Mellon leta 2000. Njegov mentor je bil Dana Stewart Scott.[2] Za disertacijo je prejel študentsko nagrado.[3] Vrnil se je v Slovenijo in poučuje na Univerzi v Ljubljani, kjer je leta 2014 napredoval do profesorja računalniške matematike.[4]

Bauer je bil glavni koordinator za 47. mednarodno matematično olimpijado, ki je potekala v Sloveniji leta 2006.[5]

Viri in opombe[uredi | uredi kodo]

Zunanje povezave[uredi | uredi kodo]