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 AST '20 Special Issue. Journal of Software: Evolution and Process
In FM '21: 24th International Symposium on Formal Methods, November 20-26, 2021 in 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.
24118 Kiel, Germany
+49 431 8806531