Paweł Urzyczyn
profesor nauk matematycznych
Specjalność: matematyczne podstawy informatyki, logika stosowana, teoria typów
Alma Mater

Uniwersytet Warszawski

Doktorat

1983 – informatyka
Uniwersytet Warszawski

Habilitacja

1992 – matematyka
Uniwersytet Warszawski

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.

Życiorys

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. 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.

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”.

Przypisy

  1. 1 2 Prof. dr hab. Paweł Jacek Urzyczyn, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-08-21].
  2. ↑ prof. dr hab. Paweł Urzyczyn. usosweb.uw.edu.pl. [dostęp 2016-06-18].
  3. ↑ prof. dr hab. Paweł Urzyczyn. mimuw.edu.pl. [dostęp 2016-07-14].
  4. ↑ Paweł Urzyczyn (strona domowa). mimuw.edu.pl. [dostęp 2016-08-18]. (ang.).
  5. ↑ Paweł Urzyczyn. Mathematics Genealogy Project. [dostęp 2016-08-21]. (ang.).
  6. ↑ Paweł Urzyczyn (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
  7. ↑ Paweł Urzyczyn (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
  8. ↑ prof. Paweł Urzyczyn (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
  9. ↑ Paweł Urzyczyn (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
  10. ↑ Paweł Urzyczyn (publikacje). springer.com. [dostęp 2016-08-11]. (ang.).
  11. ↑ Urzyczyn, Paweł. Katalog elektroniczny Biblioteki Narodowej. [dostęp 2016-08-11].
  12. ↑ Paweł Urzyczyn (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.