Andrej Bauer
Andrej Bauer, slovenski matematik, * 11. maj 1971.
| Andrej Bauer | |
|---|---|
 | |
| Rojstvo | 11. maj 1971 (52 let) |
| Državljanstvo |  Slovenija.svg){kind=small} SFRJ |
| Poklic | matematik, univerzitetni učitelj |
| Spletna stran | |
| andrej.com | |
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. [1]
Izobraževanje in kariera uredi
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]
Ameriško matematično društvo (AMS) mu bo 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.[6]
Viri in opombe uredi
- ↑ Mathematics of the Transcendental Reviewed by Andrej Bauer
- ↑ Google Scholar Citations of papers by Andrej Bauer
- ↑ School of Computer Science, Carnegie Mellon University: Student Awards
- ↑ University of Ljubljana: Mathematics and Physics Faculty Inaugural lecture prof. dr. Andrew Bauer
- ↑ 47th International Mathematical Olympiad Slovenia 2006
- ↑ »News from the AMS«. American Mathematical Society (v angleščini). Pridobljeno 17. oktobra 2021.
Zunanje povezave uredi
 | Ta članek o matematiku je škrbina. Pomagajte Wikipediji in ga razširite. |