Professor Snelting ist Leiter des Lehrstuhls “Programmierparadigmen”, der sich mit Sprachdesign, Compilerbau, Programmanalyse, Software-Sicherheit und Verifikation befasst. Der Lehrstuhl entwickelte JOANA, das zurzeit 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.