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

Consultations

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

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