Logical Methods in Computer Science

This theme addresses research challenges in the logical foundations of computing, automated reasoning, formal verification, and knowledge representation.

Associated research groups:

Back to: Department Of Computer Science