Tobias Hey
| Vorname | Tobias |
|---|---|
| Nachname | Hey |
| Telefon | +49 721 608-44765 |
| hey@kit.edu | |
| Homepage | https://mcse.kastel.kit.edu/staff tobias hey.php |
| Position | Postdoc |
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. |
|---|---|---|---|---|
| Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering | X | Mo 8. Dezember 2025 | ||
| Utilizing Context to Improve LLM-assisted Formal Verification | X | Di 21. Oktober 2025 |