HOME | ENGLISH | IMPRESSUM | KIT

Prof. Dr.-Ing. Gregor Snelting

photo

Kontakt

Tel.: +49 721 608-48350

Email: Loading...

IPD Prof. Snelting

Raum 278, Gebäude 50.34

Am Fasanengarten 5

76131 Karlsruhe

Deutschland

Sprechzeiten: siehe Sprechstunde

Arbeitsgebiete

  • Programmiersprachen und Compiler
  • Objektorientierung
  • Programmanalyse
  • Semantik
  • Software-Sicherheit
  • Verifikation

Lehre

Projekte