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 2003Postanowienie Prezydenta Rzeczypospolitej Polskiej z dnia 2 czerwca 2003 r. nr 115-5-03 o nadaniu tytułu naukowego profesora ()..
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”; „Journal of the ACM”.
Przypisy
Kategoria:Polscy informatycy Kategoria:Polscy matematycy XX wieku Kategoria:Polscy matematycy XXI wieku Kategoria:Urodzeni w XX wieku Kategoria:Nauczyciele akademiccy Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Kategoria:Polscy logicy XX wieku Kategoria:Polscy logicy XXI wieku