Prof. Dr.-Ing. Gregor Snelting

	Contact Phone: +49 721 608-48350 Email: Bitte warten...	IPD Prof. Snelting Room 021, Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany
	Consultation Hours: siehe Sprechstunde

• 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 Engineering Practice
• Advanced Object-oriented programming
• Compiler
• Semantics of programming languages
• theory of cognition
• theorem prover lab
• compiler lab

Projects

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