Paweł Urzyczyn
| profesor nauk matematycznych | |
| Specjalność: matematyczne podstawy informatyki, logika stosowana, teoria typów | |
| Alma Mater | |
|---|---|
| Doktorat |
1983 – informatyka |
| Habilitacja |
1992 – matematyka |
| Profesura |
2003 |
| profesor zwyczajny | |
| Uczelnia |
Uniwersytet Warszawski |
Paweł Jacek Urzyczyn – polski matematyk i informatyk, profesor nauk matematycznych. Specjalizuje się w matematycznych podstawach informatyki, logice stosowanej oraz teorii typów. Profesor zwyczajny Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[1][2][3][4].
Życiorys
[edytuj | edytuj kod]Studia ukończył na Uniwersytecie Warszawskim, gdzie następnie został zatrudniony i zdobywał kolejne awanse akademickie. Stopień doktorski uzyskał w 1983 na podstawie pracy przygotowanej pod kierunkiem prof. Jerzego Tiuryna[5]. Habilitował się w 1992 na podstawie oceny dorobku naukowego i rozprawy pt. Zagadnienia definiowalności w logikach programów pierwszego rzędu. Tytuł naukowy profesora nauk matematycznych otrzymał w 2003[1].
Swoje prace publikował w takich czasopismach jak m.in. „Fundamenta Informaticae”, „Notre Dame Journal of Formal Logic” „The Journal of Symbolic Logic”, „Mathematical Structures in Computer Science” oraz „Journal of the ACM”[6][7][8][9][10][11][12].
Przypisy
[edytuj | edytuj kod]- ↑ a b Prof. dr hab. Paweł Jacek Urzyczyn, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-08-21].
- ↑ prof. dr hab. Paweł Urzyczyn. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ prof. dr hab. Paweł Urzyczyn. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Paweł Urzyczyn (strona domowa). mimuw.edu.pl. [dostęp 2016-08-18]. (ang.).
- ↑ Paweł Urzyczyn. Mathematics Genealogy Project. [dostęp 2016-08-21]. (ang.).
- ↑ Paweł Urzyczyn (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
- ↑ Paweł Urzyczyn (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
- ↑ prof. Paweł Urzyczyn (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
- ↑ Paweł Urzyczyn (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
- ↑ Paweł Urzyczyn (publikacje). springer.com. [dostęp 2016-08-11]. (ang.).
- ↑ Urzyczyn, Paweł. Katalog elektroniczny Biblioteki Narodowej. [dostęp 2016-08-11].
- ↑ Paweł Urzyczyn (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).