{{ post.category }}
{{ post.date }} · {{ post.readLabel }}
{{ post.title }}
{{ post.excerpt }}
ABOUT
A bit more about me.
Engineer, manager, and pilot, based in Zlín. My work has moved between theory, code, product, and the cockpit; what connects them is making sure an ambitious idea survives the move from plan to production.
SELECTED HIGHLIGHTS
Ph.D.
Formal language theory
Doctorate at Brno University of Technology, with research visits to nine institutions across Europe, Asia, and North America.
20+ yrs
Engineering & leadership
From developer to Backend Engineering Manager at STRV, including enterprise healthcare backends in New York.
2 univ.
University lecturer
A Sport Aviation course at Tomas Bata University and guest lectures in informatics at Mendel University.
BASE
Zlín / CZE
I started in formal language theory, with a PhD on regulated grammars and the mathematics underneath every compiler. It taught me to think precisely and structurally, and to take edge cases seriously.
From there I spent more than a decade building and leading: enterprise healthcare backends at Cantata Health in New York, a path from developer to product owner at IReSoft in Brno, and backend engineering management at STRV, where I lead today. I've worked as developer, team lead, product owner, and solution consultant, and my current focus is AI-native delivery.
PROFESSIONAL EXPERIENCE
2021 — Present
Prague / Brno, Czechia
STRV
Backend Engineering Manager
Jul 2022 — Present
Define, own, and evolve the technical architecture of backend systems for scalability, security, and operational excellence — kept aligned with product and business goals.
Translate business needs into technical roadmaps together with product and customer teams.
Act as solution consultant during pre-sales and project initiation, and run technical workshops to align on goals and deliver customer-centric solutions.
Backend Developer
Dec 2021 — Jun 2022
Designed and built scalable backend services with clean architecture, strong performance, and cloud readiness.
Drove code quality through OOP design patterns and best practices, and supported CI/CD and cloud deployment.
2018 — 2021
New York, USA
Cantata Health Solutions
Senior Software Developer
May 2018 — Nov 2021
Designed and delivered enterprise-grade healthcare backends and integrations in .NET Core with cloud-ready architectures — focused on scalability, security, and maintainability.
Collaborated with product owners, QA, and cross-functional teams in Agile/Scrum to meet business and regulatory requirements.
Supported cloud-migration initiatives and optimized legacy systems for performance and reliability.
2012 — 2018
Brno, Czechia
IReSoft
Product Owner
Jan 2017 — May 2018
Progressed from developer to team leader to product owner, leading cross-functional teams delivering enterprise healthcare solutions.
Defined product vision and translated business requirements into technical roadmaps.
Engaged in technical pre-sales and solution design, and championed agile practices across teams.
Team Leader
Sep 2014 — May 2018
Managed and mentored engineering teams, improving delivery and code quality through architecture and design-pattern best practices.
Software Developer
Sep 2012 — May 2018
.NET, C#, MS SQL, Hibernate, AutoMapper.
2018 — Present
Czechia
Self-Employed
Independent Professional
May 2018 — Present
Consulting and development across domains, focused on backend development, solution design, and cloud-ready architectures.
TEACHING & LECTURES
2024 — Present
Faculty of Management & Economics
Tomas Bata University in Zlín
External Lecturer — Sport Aviation
Sep 2024 — Present
Organizer and lecturer of an interdisciplinary Sport Aviation elective developed with the university.
Blends aeronautical knowledge with hands-on experience: principles of flight, cockpit communication, navigation, and the wider context of general aviation — bringing the cockpit closer to the classroom.
2023 — Present
Faculty of Business & Economics
Mendel University in Brno
Guest Lecturer — Informatics
Apr 2023 — Present
Annual lectures with the Department of Informatics and Applied Mathematics, at the intersection of mathematics and computer science.
Signature lecture “Mathematical Beauty of Computer Science”: formal language theory, computational models, the language hierarchy, and the expressive power of rewriting systems and L-systems.
EARLIER & ALONGSIDE
Over the years I've also worked across a range of adjacent fields — technical writing and documentation, translating technical literature, technology journalism, .NET training, and early software and microprocessor work. Each kept me close to the craft from a different angle and sharpened how I explain complex systems to different audiences.
EDUCATION
2008 — 2012
Brno University of Technology, FIT
Ph.D. — Formal Language Theory / Mathematically Oriented Computer Science
Research in formal languages, automata theory, and regulated grammar models — controlled derivation trees and restricted language models with applications to compilers and language processing. Presented at international conferences and supported teaching in compiler construction and formal language theory.
2006 — 2008
Brno University of Technology, FIT
Ing. (MSc) — Computer Graphics & Multimedia
2003 — 2006
Brno University of Technology, FIT
Bc. — Information Technology
1999 — 2003
Secondary Technical School, Zlín
Electrical Engineering — Electronic Computer Systems
STUDY & RESEARCH STAYS
During my doctorate I made short research and teaching visits to formal-language and theoretical-computer-science groups across Europe, Asia, and North America.
2012
Jun 2012
University of Texas at Austin · Austin, USA
NASSLLI — North American Summer School of Logic, Language & Information
May 2012 · 4 days
Universidad de Valladolid · Valladolid, Spain
Teaching compilers
Apr 2012 · 4 days
Université Paris-Est Marne-la-Vallée · Paris, France
Research stay — prof. Guillaume Blin's team
Apr 2012 · 4 days
University of Debrecen · Debrecen, Hungary
Research stay — prof. Pál Dömösi's team
2011
Nov — Dec 2011 · ~3 weeks
Kyoto University · Kyoto, Japan
Research stay — prof. Masami Ito's team
Aug 2011 · 1 week
University of Debrecen · Debrecen, Hungary
Research stay — prof. Pál Dömösi's team
May — Jun 2011 · ~3 weeks
Hungarian Academy of Sciences · Budapest, Hungary
Research stay — prof. Erzsébet Csuhaj-Varjú's team
2010
Dec 2010 · 1 week
Université Paris-Est Marne-la-Vallée · Paris, France
Research stay — prof. Guillaume Blin's team
Sep 2010 · 1 week
University of Debrecen · Debrecen, Hungary
Research stay — prof. Pál Dömösi's team
Aug 2010 · 1 week
University of Western Ontario · London, ON, Canada
Developments in Language Theory (DLT) conference
Jun — Jul 2010 · 1 week
Université de La Rochelle · La Rochelle, France
Teaching formal language theory
May 2010 · 1 week
University of Valladolid · Valladolid, Spain
Teaching compilers
May 2010 · 1 week
Academy of Sciences of the Czech Republic · Brno, Czechia
Research stay