Prof. Dr.-Ing. Gregor Snelting

	Kontakt Tel.: +49 721 608-44760 Email: >>Bitte hier klicken<<	IPD Prof. Snelting Raum 021, Gebäude 50.34 Am Fasanengarten 5 76131 Karlsruhe Deutschland
	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
• Praxis der Softwareentwicklung
• Fortgeschrittene Objektorientierung
• Compiler I + II
• Semantik von Programmiersprachen

Projekte

• IFC for Mobile Components
• InvasIC
• libFirm
• Quis-Custodiet
• VALSOFT/Joana
• CoreC++
• KABA