HOME | ENGLISH | IMPRESSUM | KIT

Prof. Dr.-Ing. Gregor Snelting

photo

Kontakt

Tel.: +49 721 608-48350

Email: >>Bitte hier klicken<<

IPD Prof. Snelting

Raum 021, Gebäude 50.34

Am Fasanengarten 5

76131 Karlsruhe

Deutschland

Sprechzeiten: Dienstags, 13-14 Uhr


Anmeldung zur Sprechstunde nicht erforderlich

Arbeitsgebiete

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

Lehre

Projekte