Laboratory of Formal Methods, Logic, and Algorithms

The laboratory concentrates on applications of logic, game theory, and discrete structures in computer science. Special attention is devoted to algorithms and methods for formal analysis and verification of computer systems, applications of game theory in artificial intelligence, and also to emerging topics at the frontiers of formal methods and AI.

Want to join

Research Areas


You are running an old browser version. We recommend updating your browser to its latest version.

More info