prof. dr hab. Paweł Urzyczyn

Affiliation

profesor, Institute of Informatics

Fields of interest

Mathematical foundations of computer science, logic in computer science, type theory

Mail

P.Urzyczyn@mimuw.edu.pl

Phone

55-44-570

Room

5700

Personal webpage*

http://www.mimuw.edu.pl/~urzy

Other information

Employee's page on USOSweb

Office hours (availability for students)

Poniedziałki od 19 do ostatniego klienta, zdalnie

https://us02web.zoom.us/j/84593508534

termin konsultacji obowiązuje w czasie trwania zajęć dydaktycznych

*The University of Warsaw is not responsible for the content published on employees’ personal webpages.

Publications

• Publications list (37)

Fields of research

• Logic in Computer Science
  
• Mathematical Logic and Category Theory
  

Commissions, councils

• Faculty Council - Electoral College
• Institute of Informatics Council - Rada Instytutu Informatyki_2024

Grants

• Type theory for examination of program properties
  Financed by: Ministry of Science and Higher Education
• Formalization of naive type theory (doctoral dissertation grant)
  Financed by: Ministry of Science and Higher Education
• Tools and techniques for extending modularity and expressiveness of object-oriented languages (doctoral dissertation grant)
  Financed by: Ministry of Science and Higher Education
• Reasoning about programs using tools based on type theory
  Financed by: State Committee for Scientific Research
• A proof assistant for large applications based on the Calculus of Constructions ( doctoral dissertation grant )
  Financed by: State Committee for Scientific Research
• Type theory in functional and object-oriented programming
  Financed by: State Committee for Scientific Research