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

  • JSME '21

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

    ZaligVinder: A Generic Test Framework for String Solvers

    In AST '20 Special Issue. Journal of Software: Evolution and Process

  • FM '21

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

    Z3str4: A Multi-armed String Solver

    In FM '21: 24th International Symposium on Formal Methods, November 20-26, 2021 in Beijing, China.

  • RAMiCS '21

    Rudolf Berghammer and Mitja Kulczynski

    Experimental Investigation of Sufficient Criteria for Relations to Have Kernels

    In RAMiCS '21: 19th International Conference on Relational and Algebraic Methods in Computer Science, November 2-5, 2021 in Marseille, France.

  • WORDS '21

    Murphy Berzish, Joel Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, and Dirk Nowotka

    String Theories involving Regular Membership Predicates: From Practice to Theory and Back

    In WORDS '21: 13th International Conference on WORDS, September 13-17, 2021 in Rouen, France.

  • DLT '21

    Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, and Dirk Nowotka

    Weighted Prefix Normal Words: Mind the Gap

    In DLT '21: 25th International Conference on Developments in Language Theory, August 16-20, 2021 in Porto, Portugal.

  • CAV '21

    Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel Day, Dirk Nowotka, and Vijay Ganesh

    An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

    In CAV '21: 33rd International Conference on Computer-Aided Verification, July 18-23, 2021 in Los Angeles, California, USA.

  • F-IDE '21

    Mitja Kulczynski, Axel Legay, Dirk Nowotka, and Danny Bøgsted Poulsen

    Analysis of Source Code Using UPPAAL

    In F-IDE '21: 6th Workshop on Formal Integrated Development Environment, Affiliated to NASA Formal Methods 2021, May 24-25, 2021,Virtual event.

  • 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