🔬Research Interests
🏗️
Model-Based Systems Engineering
Designing and analyzing complex systems through formal models, enabling early validation and systematic engineering practices.
🛡️
Critical Systems
Engineering safety-critical and mission-critical systems where reliability and correctness are paramount.
📐
Formal Methods
Applying mathematical techniques to specify, develop, and verify software systems with rigorous guarantees.
🔤
Language Engineering
Designing and implementing domain-specific languages, compilers, and language tooling for specialized problem domains.
🛠️Software & Tools
Here are some of the tools and frameworks I have contributed to. Check out my GitHub profile for more projects and contributions.
Featured Project
My main research project. A framework for the declarative definition of engineering model semantics, enabling formal verification with pluggable semantic libraries. It bridges the gap between high-level engineering models and formal verification tools, making it possible to verify system properties without writing custom transpilers.
Try online ↗
📋Resume
🎓 Education
Doctor of Philosophy (PhD)
2024 - Present
Budapest University of Technology and Economics
Topic: Semantically Consistent Analysis of Ontological Behavior Models. Supervisor: Dr. Vince Molnár.
Master of Science (MSc)
2022 - 2024
Budapest University of Technology and Economics
Specialization in critical systems, cloud computing, and parallel systems. Supervisor: Dr. Vince Molnár.
Bachelor of Science (BSc)
2018 - 2022
Budapest University of Technology and Economics
Specialization in systems engineering. Supervisor: Dr. Vince Molnár.
🏆 Awards
EELISA International Scientific Student Competition
2024
🥈
Students' Scientific Conference (TDK)
2021 - 2023
Budapest University of Technology and Economics
🥇 2023🥈 2022🥈 2021
👨🏫 Teaching and Mentoring
BSc and MSc thesis supervision
2024 - Present
4 BSc (in progress)1 MSc (in progress)
Students' Scientific Conference (TDK) research supervision
2024 - Present
🥈 1x🥉 1x
Teaching Assistant
2019 - Present
Budapest University of Technology and Economics
Courses at the department: Systems Modeling, Programming 1, Automated Software Engineering
💼 Professional Experience
Researcher
2025 - Present
PTC Hungary
Research in model-based systems engineering and ALM.
Solution Architect
Jan 2024 - Dec 2024
IncQuery Labs, Budapest
Worked with enterprises on model-based systems engineering solutions, including NASA-JPL. Led engineering teams on project estimation, planning, and delivery.
Junior Product Manager
Jan 2023 - Dec 2023
IncQuery Labs, Budapest
Managed the IncQuery Suite flagship product family. Led a team of four to build a model validation tool for NASA-JPL.
Software Engineer
Jan 2022 - Dec 2022
IncQuery Labs, Budapest
Worked in the MBSE team building custom solutions, transformation modules, and integrations for partners. Participated in R&D grant projects.
Junior Software Engineer
Jul 2020 - Dec 2021
IncQuery Labs, Budapest
Developed internal components of IncQuery Server, including the Jira connector. Worked on the Dynamic Verification Toolkit (DVT) project with architectural development.
🎖️ Scholarships
EKÖP-KDP Scholarship
2025 - Present
National Research, Development and Innovation Office (NKFIH)
University Research Scholarship Programme for doctoral students (Cooperative Doctoral Program). Supports PhD students conducting research both at their university and at an external workplace to put scientific results into practice.
Marktoberdorf Summer School
2024
NATO Science for Peace and Security Programme
Participated in the 42nd edition of the prestigious international summer school on Engineering Secure and Dependable Software Systems, organized by fortiss and TU München.
BME Faculty Scholarship
2024
Faculty of Electrical Engineering and Informatics, BME
Merit-based scholarship awarded for outstanding academic and research performance.
New National Excellence Program (ÚNKP)
2023 - 2024
National Research, Development and Innovation Office (NKFIH)
Competitive national scholarship supporting talented students engaged in scientific research at Hungarian higher education institutions.
📄Publications
- Ármin Zavada, Géza Kulcsár, Vince Molnár, Ákos Horváth. Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems. 8th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 2025. doi IEEE
- Ármin Zavada, Kristóf Marussy, Vince Molnár. From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion), 2024. doi ACM
- Ármin Zavada, Vince Molnár. From Hard-Coded to Modeled: Towards Making Semantic-Preserving Model Transformations More Flexible. Proceedings of the 31st Minisymposium of the Department of Measurement and Information Systems, 2024. link
- Daniel Bouskela, Lena Buffoni, Audrey Jardin, Vince Molnár, Adrian Pop, Ármin Zavada. The Common Requirement Modeling Language. Proceedings of the 15th International Modelica Conference, 2023. doi Modelica Association
✉️Contact
Interested in collaboration, research opportunities, or just want to say hello? Feel free to reach out.
Photo by Wilfredor · CC0