Małgorzata Zielińska
Rector
Abstract interpretation of concurrent systems
Piotr Kowalski
Professor, Computer Science
Verified compilers, CompCert
Ewa Nowicka
Assoc. Professor, Software Security
Equality saturation, program synthesis
Andrzej Wiśniewski
Professor, Mathematical Logic
Set theory, model theory
Katarzyna Pawlak
Assoc. Professor, Computer Science
Type theory, proof assistants
Tomasz Szymański
Professor, Software Security
Smart contract verification, formal methods
Anna Majewska
Assoc. Professor, Mathematical Logic
Formal linguistics, lambda calculus
Marek Jankowski
Professor, Computer Science
Algorithms, complexity theory
Joanna Kamińska
Asst. Professor, Software Security
Static analysis, abstract interpretation
Paweł Nowak
Assoc. Professor, Computer Science
Program synthesis, e-graphs
Helena Wójcik
Professor, Mathematical Logic
Proof theory, constructive mathematics
Sangyeon Kim
Visiting Professor, Software Security
Program analysis, smart contract security
