Prof. Dr. Gregor Snelting (bis 2020) | |
Forschungsfeld: | |
weiter zur Webseite am KIT |
Professor Snelting ist
Leiter des Lehrstuhls “Programmierparadigmen”, der sich mit Sprachdesign,
Compilerbau, Programmanalyse, Software-Sicherheit und Verifikation befasst.
Der Lehrstuhl
entwickelte JOANA, das z.Zt. international einzige Werkzeug zur
Software-Sicherheitsanalyse (Information Flow Control), das volles Java (ohne
Reflection) und unbeschränkte Threads behandeln kann.
Der Lehrstuhl ist
Mitbegründer des DFG-Schwerpunktprogramms “Reliably Secure Software Systems”.
Im Rahmen des
DFG-Sonderforschungsbereichs ”Invasives Rechnen” entwickelt der Lehrstuhl
Programmiersprache und Compiler für neue, hochdynamische Formen der
Parallelprogrammierung.