Logic in Computer Science

Description

Type theory in relation with functional programming, term rewriting, automated proof assistants. Logical foundations of verification: temporal logic, program logics, monadic logic, and their relations to automata and games. The research topics concern in particular the expressiveness of various logical calculi, decidability issues, and efficiency of model checking.

Seminars

• Seminar Semantics, Logic, Verification and its Applications
• Seminar Logic and Type Theory
• Research Seminar of the Logic Group: Approximate reasoning in data mining

Employees and PhD students

• dr Marcin Benke

• prof. dr hab. Mikołaj Bojańczyk

• dr Jacek Chrząszcz

• dr hab. Lorenzo Clemente

• dr hab. Wojciech Czerwiński, prof. UW

• dr Tomasz Gogacz

• dr Piotr Hofman

• dr hab. Eryk Kopczyński

• prof. dr hab. Sławomir Lasota

• dr hab. Filip Murlak, prof. UW

• dr hab. Anh Linh Nguyen, prof. UW

• prof. dr hab. Damian Niwiński

• dr hab. Paweł Parys, prof. UW

• dr hab. Aleksy Schubert, prof. UW

• dr hab. Michał Skrzypczak

• prof. dr hab. Andrzej Szałas

• prof. dr hab. Andrzej Tarlecki

• dr hab. Szymon Toruńczyk, prof. UW

• prof. dr hab. Jerzy Tyszkiewicz

• prof. dr hab. Paweł Urzyczyn

• dr Daria Walukiewicz-Chrząszcz