Verified Systems International GmbH
November 2018 - present
Software development, C++, Java, GUI-Development
November 2018 - present
Software development, C++, Java, GUI-Development
July 2017 - October 2018
C++, Testautomation, Model based testing.
Publication: Safety-complete test suites
October 2014 - June 2017
Java, Android, Web Development, Online-Shops, HTML, Php, Css, Mysql, 3D Design.
Janruary 2013 - Dezember 2014
C++, VHDL, Debugging, Scrum, git, Qt, TCL.
October 2011 - March 2012
First experiences in teaching operating system concepts.
Master of Science
2018 - Master Thesis: Eigenschaftsorientiertes Testen sicherheitskritischer Systeme (Property-oriented testing of safety critical systems)
Download PDF
Bachelor of Science
2016 - Bachelor Thesis: Terminfindung aus Chatnachrichten mittels Sprachverarbeitung.