diff options
| -rw-r--r-- | active_research.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/active_research.md b/active_research.md index 0173bf9..a4d2d5a 100644 --- a/active_research.md +++ b/active_research.md @@ -19,3 +19,5 @@ | Christian Krinitsin | Analysis and Verification of Semantic Mistranslation Errors in Emulators | BA | Theofilos Augoustis, Sebastian Reimers | 12.05.2025 | 12.09.2025 | | Victor Fritz Trost | Exploration of MESIF protocol for ProtoSLICC | BA | Nicolò Carpentieri, Anatole Lefort | 10.06.2025 | 10.10.2025 | | Tristan Schwieren | Automated Formal Verification of SHA-3 | MA | Julian Pritzi, Dennis Sprokholt | 15.05.2025 | 17.11.2025 | +| Mert Saraç | Cross-Platform Implementation of a Mobile Coffee Tracking System | MA | Martin Fink | 15.07.2025 | 15.01.2026 | + |