prof. dr hab. Paweł Urzyczyn

Affiliation

profesor, Institute of Informatics

Mail

P.Urzyczyn@mimuw.edu.pl

Phone

55-44-570

Room

5700

Website

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

Publications

• Publications list (36)

Fields of research

• Logic in Computer Science
  
• Mathematical Logic and Category Theory
  

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