FI MU: Formela – The Laboratory of Formal Methods, Logic and Algorithms
Use of AI
Research and development
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.