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.