معرفی
Gregor Snelting is a Professor and head of the Chair of Programming Paradigms at the Karlsruhe Institute of Technology (KIT), Faculty of Computer Science, Institute for Programming Languages and Compiler Construction. His research focuses on compiler construction, program analysis, software security, and verification.
His primary research interests include programming languages, compiler design, program analysis, software security, information flow control, formal verification, object-oriented and concurrent programming, and software reengineering using concept analysis. His work aims to provide solid theoretical foundations and empirical validation.
The research output, particularly the 15 most recent articles, shows a strong emphasis on software security and program analysis, with a focus on information flow control in Java using the JOANA tool. There is also a significant thread on invasive computing and resource-aware parallel programming. The work combines deep theoretical contributions, such as formal semantics and correctness proofs, with practical tool development and empirical validation.
- Faculty Teaching Award for the course 'Practice in Software Development'
Snelting leads a research group that has developed several significant tools, including JOANA for security analysis, the Praktomat system for automated grading of programming assignments, and contributions to the libFirm compiler framework. His group is a key participant in major research initiatives like the DFG Collaborative Research Center InvasIC and the DFG Priority Program RS3. He advises students and supervises theses, fostering research in programming paradigms and software security.
The group is involved in several key research projects: JOANA for information flow control in Java, InvasIC for invasive computing and dynamic parallelism, Quis-Custodiet for machine-checked correctness proofs of security analyses, and the development of the libFirm compiler framework.
