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.
B.Eng. in Computer Science
University of Zielona Góra
M.Sc. in Computer Science
University of Zielona Góra
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!