The Competence Field covers research on algorithm design and engineering, software engineering paradigms and methodologies, and all basic principles dealing with systems in informatics. This includes formal methods, programming systems, information systems, computer graphics, operating systems, compiler construction, parallel and distributed systems.
Kontakt:
- Sprecher: Prof. Dr. Bernhard Beckert
- Stellvertretender Sprecher: Prof. Dr. Gregor Snelting
