Kontakt Tel.: +49 721 608-4760 E-Mail: Adresse IPD Prof. Snelting Raum 201 Adenauerring 20a 76131 Karlsruhe Sprechzeiten Dienstags, 13-14 Uhr Anmeldung zur Sprechstunde nicht erforderlich

• Curriculum Vitae
• Publikationen
• Professionelle Aktivitäten
• Wissenschaftlicher Werdegang
• Vorträge

Arbeitsgebiete

• Programmiersprachen und Compiler
• Objektorientierung
• Programmanalyse
• Semantik
• Software-Sicherheit
• Verifikation

Lehre

• Programmieren
• Programmierparadigmen
• Software Entwicklungspraktikum
• Fortgeschrittene Objektorientierung
• Compiler I + II
• Softwaresicherheit
• Semantik von Programmiersprachen

Projekte

• CoreC++
• KABA
• libFirm
• Quis-Custodiet
• VALSOFT/Joana