Prof. Dr. Gregor Snelting (until 2020) | |
Research Areas: | |
Go to the website at KIT |
Professor Snelting is head of the chair
“Programming Paradigms”, which deals with language design, compiler
construction, program analysis, software security and verification.
The chair has developed JOANA, which
as of now is the only tool for Software Security Analysis (Information Flow
Control) that can handle full Java (without reflection) and unlimited threads.
The chair is a co-funder of the DFG’s
Reliably Secure Software Systems programme.
Within the framework of the DFG
Collaborative Research Centre “Invasive Computing”, the Chair of Programming
Language and Compiler is developing new, highly dynamic forms of parallel
programming.