Jan Kubalek

Software Engineer with focus on well-defiend and higly reliable Systems

Software engineer specializing in system design, technical leadership, and dependency management. While I occasionally code in modern C++, my primary focus is on architecture and technical project coordination rather than hands-on development.

Passionate about formal methods and mathematics, I excel at proof of concepts — both in code and theory. When faced with a problem, I find solutions, propose designs, and lead teams to achieve them.