HOME | DEUTSCH | IMPRESSUM | KIT

Prof. Dr.-Ing. Gregor Snelting

photo

Contact

Phone: +49 721 608-48350

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

Research interests

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

Courses

Projects