Home | english  | Impressum | Datenschutz | Sitemap | KIT
Veröffentlichung

Sieben Thesen zur IT-Sicherheit

PDF herunterladen

Offene Stellen

Sie haben keine passende Stelle gefunden? Auch wenn es nicht immer ausgeschrieben ist, freuen wir uns über neue Doktoranden/Postdocs, die daran interessiert sind, unser Team zu verstärken. Lassen Sie uns hierfür einfach Ihre Initiativbewerbung zukommen. Wir freuen uns auf Sie!

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.