Contact Phone: +49 721 608-44760 E-Mail: >>please click this text<< Address 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

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