Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Hochschul-Informations-System eG
Startseite    Anmelden    WiSe 2020/21      Umschalten in deutsche Sprache / Switch to english language      Sitemap

 Smolka , Gert , Univ.-Prof. Dr. rer. nat. - Einzelansicht

  • Funktionen:
  •  
Grunddaten
Nachname Smolka Geschlecht männlich
Vorname Gert Sprechzeit
Personalstatus Status intern
Titel Bemerkung
Akad. Grad Univ.-Prof. Dr. rer. nat.

Funktion

Einrichtung Funktion von bis
Programming Systems Univ.-Professor/in
       

Dienstadresse

PLZ 66123 Telefon +49 (0)681 / 302-5311
Ort Saarbrücken Fax +49 (0)681 / 302-5615
Straße Campus E 1 3 E-Mail-Adresse smolka@ps.uni-saarland.de
Dienstzimmer 5.14 Hyperlink
Gebäude Gebäude E1 3
Zuordnung zu Einrichtungen
Programming Systems
Veranstaltungen
Vst.-Nr. Veranstaltungen Semester
126776 Advanced Topics in Computational Type Theory WiSe 2020/21
126794 Advanced Coq Programming WiSe 2020/21

Strukturbaum

Die Person wurde 1 mal gefunden:
[+]    Programming Systems  - - - 1