I'm currently working as a lecturer at Kiel University. Before that I worked in the Dependable System Group led by Dirk Nowotka at Kiel University as a Post Doc. I received my PhD from Kiel University targeting different aspects of quantifier-free first-order logic theories over strings, especially solving formulae involving atoms of the aforementioned theory. This was under the supervision of Dirk Nowotka. Next to string constraints, my research includes formal verification, combinatorics on words, and formal languages in general.
In SBMF '24: 27th Symposium on Formal Methods: Foundations and Applications, December 4–6, 2024, Vitória, Brazil.
In CIAA '23: 27th International Conference on Implementation and Application of Automata, September 19-22, 2023, Famagusta.
In TCS '23: Theoretical Computer Science Volume 943, January 17, 2023.
In SPIN '22: 28th International Symposium on Model Checking of Software, May 21-22, 2022, Chicago, Illinois, USA.
In KCSS '22. Kiel Computer Science Series, Volume 2022/1. Doctoral dissertation
In AST '20 Special Issue. Journal of Software: Evolution and Process
In FM '21: 24th International Symposium on Formal Methods, November 20-26, 2021, Beijing, China.
In RAMiCS '21: 19th International Conference on Relational and Algebraic Methods in Computer Science, November 2-5, 2021 in Marseille, France.
In WORDS '21: 13th International Conference on WORDS, September 13-17, 2021 in Rouen, France.
In DLT '21: 25th International Conference on Developments in Language Theory, August 16-20, 2021 in Porto, Portugal.
In CAV '21: 33rd International Conference on Computer-Aided Verification, July 18-23, 2021 in Los Angeles, California, USA.
In F-IDE '21: 6th Workshop on Formal Integrated Development Environment, Affiliated to NASA Formal Methods 2021, May 24-25, 2021,Virtual event.
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