Outstanding master thesis awarded by DSA

At the beginning of December 2020 once again the opportunity had finally come. In the context of this year's 'Day of Computer Science' at RWTH Aachen University, DSA awarded a prize to Jan Svejda for his outstanding master thesis on the topic "Automatic Verification of C-Programs". Due to the current pandemic situation, DSA and the prize winner exchanged congratulations and words of thanks virtually via video messages.

DSA is especially proud of Jan Svejda as a prize winner, as he has already been involved in the development of our IoT platform as a student assistant in the Team Connected Car. After graduation, Jan will move into research and we wish him all the best and continued success in his private and professional life.