Dawid Jakub Konarczak
Dawid Jakub Konarczak

PhD Track in Computer Science | Software Engineer

About Me

Computer science researcher with interests in Petri nets, artificial intelligence, formal systems, and space technologies. Currently part of a research team collaborating with the New Jersey Institute of Technology (NJIT), the University of California, Berkeley (UC Berkeley), and Xidian University. My long-term goal is to become an astronaut. I explore Petri nets, AI models, and computational systems both academically and in side projects. Outside of research, I enjoy exercising, working on my cars, and exploring new investment strategies.

Interests
  • Space Technologies
  • Financial Markets and Investing
  • Computer Science
  • Petri Nets
  • Artificial Intelligence
  • Aviation and Motorsports
Education
  • B.Eng. in Computer Science

    University of Zielona Góra

  • M.Sc. in Computer Science

    University of Zielona Góra

📚 My Research

My research primarily focuses on Petri nets and their applications in modeling, verification, and analysis of complex manufacturing systems. I am particularly interested in formal methods and how they support system correctness and reliability in critical domains.

While Petri nets are at the core of my academic work, I also follow developments in artificial intelligence, space technologies, and actively read scientific literature—both classic and contemporary—across a wide range of disciplines.

I am currently part of a research team collaborating with NJIT, UC Berkeley, and Xidian University exploring Petri nets. My long-term goal is to become an astronaut and contribute to the intersection of computer science and space exploration.

I welcome collaboration opportunities in the areas of Petri nets, aerospace-oriented computer science and artificial intelligence, as well as in any related or adjacent research areas.

🚀 Let’s connect!

Featured Publications
Recent Publications
(2025). A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System.