Prof. Dr.-Ing. Gregor Snelting

	Kontakt Tel.: +49 721 608-48350 Email: Loading...	IPD Prof. Snelting Raum 021, Gebäude 50.34 Am Fasanengarten 5 76131 Karlsruhe Deutschland
	Sprechzeiten: siehe Sprechstunde

• 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
• Semantik von Programmiersprachen
• Erkenntnistheorie
• Theorembeweiserpraktikum
• Compilerpraktikum

Projekte

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