KASTEL

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.