Prof. Dr.-Ing. Gregor Snelting

	Contact Phone: +49 721 608-44760 Email: >>please click this text<<	IPD Prof. Snelting Room 021, Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany
	Consultation Hours: Dienstags, 13-14 Uhr Anmeldung zur Sprechstunde nicht erforderlich

• Curriculum Vitae
• Publications
• Professional Activities
• Scientific Career
• Talks

Research interests

• programming languages and compilers
• object orientation
• program analysis
• semantics
• software security
• verification

Courses

• Programming
• Programming paradigms
• Software Development practicum
• Advanced Object-oriented programming
• Compiler I + II
• Software security
• Semantics of programming languages

Projects

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