I am a PhD student in Computer Science at Kiel University, under the supervision of Dirk Nowotka. My research includes String solving, Combinatorics on Words, and Formal Languages.
In SAT-COMP ’20: Affiliated with the 23rd International Conference on Theory and Applications of Satisfiability Testing, July 5th - 9th, 2020, Alghero, Italy.
Placed 2nd in AWS Cloud Track with TopoSAT2
In SMT-COMP '20: 15th International Satisfiability Modulo Theories Competition, July 5 - 6, 2020, Virtual Meeting.
In AST ’20: International Conference on Automation of Software Test, October 7–8, 2020, Seoul, Republic of Korea.
Best Short Paper Award
In FormaliSE ’20: 8th International Conference on Formal Methods in Software Engineering, October 7–8, 2020, Seoul, Republic of Korea.
Best Video Presentation Award
In LATA ’20: 14th International Conference on Language and Automata Theory and Applications, March 4-6, 2020, Milan, Italy.
In FMTea '19: 3rd International Workshop and Tutorial on Formal Methods Teaching, October 7, 2019, Porto, Portugal.
In RP '19: 13th International Conference on Reachability Problems, September 11-13, 2019, Brussels, Belgium.
Christian-Albrechts-Platz 4,
24118 Kiel, Germany
mku@informatik.uni-kiel.de
+49 431 8806531