Outstanding master thesis awarded by DSA
![](files/images/content/news/2020/DSA-Masterpreis-2020-RWTH-Aachen.png)
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.
![](files/images/content/news/2020/DSA-Masterpreis-2020-RWTH-Aachen.png)
Contact