Anastasia Vöhringer

I am a research assistant at the Chair of Distributed and Networked Systems at the TU Dresden under the supervision of Prof. Dr. Matthias Wählisch and Dr. Iris Braun. I have already completed my Bachelor and Master of Computer Science at TU Dresden. During this time, I mainly worked on cryptography, security and computer networks, spent time abroad in Norway and wrote my master's thesis on the formal verification of a BCH code implementation.

Since November 2024, I have been working for the DARKSOL project to develop an infrastructure for the provision of a space cloud. This should enable efficient, effort- and emission-reduced, client-separated execution of space industry applications on satellites and space probes. In addition to my work at TU Dresden, I am interested in open source and digitally sovereign infrastructures.