diff options
| author | Martin Fink <martin@finkmartin.com> | 2025-08-05 11:27:35 +0200 |
|---|---|---|
| committer | Martin Fink <martin@finkmartin.com> | 2025-08-05 11:27:35 +0200 |
| commit | a37ab6abe8cf2342d68bd7107713104c823a6a87 (patch) | |
| tree | ffee53f53229885f5a2234d706fb9164957f9897 | |
| parent | 164d34998ac7052a9bd5e831903367744559bbe4 (diff) | |
| download | research-work-archive-a37ab6abe8cf2342d68bd7107713104c823a6a87.tar.gz research-work-archive-a37ab6abe8cf2342d68bd7107713104c823a6a87.zip | |
add mert to active research
| -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 | + |