Software Technology Group
We focus on code intelligence and programming models, applied in AI/Software Engineering and Programming Language Design and Implementation.
Research Topics
Our research brings together AI, software engineering, and programming language design and implementation. We develop models, metholds and tools for more efficient, reliable and secure software systems.
AI/Software Engineering
We explore how advances in AI and software engineering can mutually reinforce and enhance the software development process. Current projects:
Programming Languages
We design novel methods and tools for programming languages to improve reliability and efficiency. Current projects:
- REScala
- PL Theory