Research Themes
We have expertise covering a broad range of topics. Our group is well-known for research on:
- Programming Languages & Systems: program verification, systems of systems, and code generation for productivity & high performance
- Reliabilty & Sustainability: safe & reliable AI and low-carbon & sustainable computing
- Software Engineering: human aspects and empirical software engineering, synthesis-based engineering, model-based testing, and model-based software engineering
- Automata-Based Methods: model checking, conformance testing, model learning, synthesis, and coalgebraic methods
- Formal Structures: type theory, logics, interactive theorem proving, categorical semantics, and term rewriting
