About Me


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.

Publications


  • SBMF '24

    Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen and Paul Sarnighausen-Cahn

    SMT-Query: Analysing SMT-LIB string benchmarks

    In SBMF '24: 27th Symposium on Formal Methods: Foundations and Applications, December 4–6, 2024, Vitória, Brazil.

  • CIAA '23

    Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen and Anders Schlichtkrull

    Verified Verifying: SMT-LIB for Strings in Isabelle

    In CIAA '23: 27th International Conference on Implementation and Application of Automata, September 19-22, 2023, Famagusta.

  • TCS '23

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

    Towards more Efficient Methods for Solving Regular-Expression Heavy String Constraints

    In TCS '23: Theoretical Computer Science Volume 943, January 17, 2023.

  • SPIN '22

    Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, and Danny Bøgsted Poulsen

    Solving String Theories involving Regular Membership Predicates Using SAT

    In SPIN '22: 28th International Symposium on Model Checking of Software, May 21-22, 2022, Chicago, Illinois, USA.

  • CAU '22

    Mitja Kulczynski

    Light On String Solving

    In KCSS '22. Kiel Computer Science Series, Volume 2022/1. Doctoral dissertation

  • JSEP '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, 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