prof. dr hab. Paweł Urzyczyn

Affiliation

Institute of Informatics

Consultations

Czwartek, 19:00-20:30 zdalnie https://us02web.zoom.us/j/84593508534 termin konsultacji obowiązuje w czasie trwania zajęć dydaktycznych

Phone

55-44-570

Publications

• Publications list (35)

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