About Me


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.

Publications


  • SAT-COMP '20

    Thorsten Ehlers, Mitja Kulczynski, Dirk Nowotka, and Philipp Sieweck

    TopoSAT2

    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

  • SMT-COMP '20

    Murphy Berzish, Mitja Kulczynski, Federico Mora, Vijay Ganesh, and Dirk Nowotka

    Z3str4: A Two-Armed String Solver

    In SMT-COMP '20: 15th International Satisfiability Modulo Theories Competition, July 5 - 6, 2020, Virtual Meeting.

  • AST '20

    Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen

    The Power of String Solving: Simplicity of Comparison

    In AST ’20: International Conference on Automation of Software Test, October 7–8, 2020, Seoul, Republic of Korea.

    Best Short Paper Award

  • FormaliSE '20

    Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen

    Rule-based Word Equation Solving

    In FormaliSE ’20: 8th International Conference on Formal Methods in Software Engineering, October 7–8, 2020, Seoul, Republic of Korea.

    Best Video Presentation Award

  • LATA '20

    Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, and Danny Bøgsted Poulsen

    On Collapsing Prefix Normal Words

    In LATA ’20: 14th International Conference on Language and Automata Theory and Applications, March 4-6, 2020, Milan, Italy.

  • FMTEA '19

    Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, and Thomas Wilke

    Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods

    In FMTea '19: 3rd International Workshop and Tutorial on Formal Methods Teaching, October 7, 2019, Porto, Portugal.

  • RP '19

    Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen

    On Solving Word Equations Using SAT

    In RP '19: 13th International Conference on Reachability Problems, September 11-13, 2019, Brussels, Belgium.

Contact


Christian-Albrechts-Platz 4,
24118 Kiel, Germany

mku@informatik.uni-kiel.de

+49 431 8806531