Andrej Bauer
| Andrej Bauer | |
|---|---|
 | |
| Rojstvo | 11. maj 1971 (53 let) |
| Državljanstvo |  Slovenija |
| Poklic | matematik, univerzitetni učitelj |
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. [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]
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 | uredi kodo]- ↑ 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 | uredi kodo]| Splošno | |
|---|---|
| Narodne knjižnice | |
| Znanstvene podatkovne baze | |
| Drugo | |
 | Ta članek o matematiku je škrbina. Pomagajte Wikipediji in ga razširite. |