Sascha Klüppelholz: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) |
||
| Zeile 3: | Zeile 3: | ||
|Nachname=Klüppelholz | |Nachname=Klüppelholz | ||
|Akademischer Titel=Dr.-Ing. | |Akademischer Titel=Dr.-Ing. | ||
|Forschungsgruppe= | |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik | ||
|Stellung=Wissenschaftlicher Mitarbeiter | |Stellung=Wissenschaftlicher Mitarbeiter | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
Aktuelle Version vom 5. März 2025, 15:46 Uhr
Dr.-Ing. Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter Algebraische und logische Grundlagen der Informatik
- sascha.klueppelholz@tu-dresden.de
- +49 351 463 38440
- +49 351 463 38348
- APB 3007
