Dominik Fuchß
(Weitergeleitet von Dominik Fuchss)
| Vorname | Dominik |
|---|---|
| Nachname | Fuchß |
| Telefon | +49 721 608-47381 |
| dominik.fuchss@kit.edu | |
| Homepage | https://mcse.kastel.kit.edu/staff dominik fuchss.php |
| Position | Mitarbeiter |
Offene Ausschreibungen für Abschlussarbeiten/Hilfskraftstellen
| Thema | BA | MA | Hilfskraft | Veröffentlichung„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von Semantic MediaWiki zur Verfügung gestellt. |
|---|---|---|---|---|
| Building a Benchmark for LLM-assisted Formal Verification | X | Mo 10. November 2025 | ||
| Weiterentwicklung des ARDoCo-Frameworks für Traceability Link Recovery & Konsistenzanalyse | X | Mi 19. November 2025 |