Photo of Daniel Varro

Daniel Varro

Professor, Head of Unit

My research primarily focuses on the design and assurance of critical software-intensive cyber-physical systems, model-based systems engineering and quality assurance for machine learning software.

Short bio

I am a WASP full professor of software engineering at Linköping University (Sweden), a professor (on leave) at Budapest University of Technology and Economics (Hungary), and an adjunct professor at McGill University (Canada) where I was a full professor between 2016 and 2022. I am a former research chair on cyber-physical systems within the Lendület program awarded by the Hungarian Academy of Sciences. I was a visiting researcher at SRI International (USA), University of Paderborn and TU Berlin (Germany), and a visiting professor at McGill University and Université de Montréal (Canada).

I am currently the Steering Committee vice chair of the IEEE/ACM MODELS conference, and serve on the editorial board of the Software and Systems Modeling journal. I was a program committee co-chair of FASE 2013, ICMT 2014, SLE 2016 and MODELS 2021 conferences. I delivered keynote talks at CSMR 2012, SOFSEM 2016 and SAM 2021 conferences and at various international workshops. Seven papers I co-authored received a Distinguished or Best Paper award at major international conferences, and three of my papers received a 10-year Most Influential Paper Award. I was the main supervisor of 9 graduated PhD students, and co-supervisor for 8 further successful PhD students.

I am a co-founder of IncQuery Labs, an innovative technology-intensive company. I was also co-founder of several open source software projects, including the VIATRA model query and transformation framework, MASSIF integration framework for Matlab, and the Refinery graph solver and generator.

Publications

2026

Aren A. Babikian, Attila Ficsor, Oszkar Semerath, Gunter Mussbacher, Daniel Varro (2026) Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition Software and Systems Modeling (Article in journal) https://dx.doi.org/10.1007/s10270-026-01372-y

2025

Boqi Chen, Kua Chen, Jose Antonio Hernandez Lopez, Gunter Mussbacher, Daniel Varro, Amir Feizpour (2025) SHERPA: A Model-Driven Framework for Large Language Model Execution 2025 ACM/IEEE 28TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS, p. 197-208 (Conference paper) https://dx.doi.org/10.1109/MODELS67397.2025.00024
Boqi Chen, Kristof Marussy, Oszkar Semerath, Gunter Mussbacher, Daniel Varro (2025) Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation Data mining and knowledge discovery, Vol. 40, Article 11 (Article in journal) https://dx.doi.org/10.1007/s10618-025-01180-w
Masoud Sadrnezhaad, José Antonio Hernández López, Torvald Mårtensson, Daniel Varro (2025) Generative AI in Simulation-Based Test Environments for Large-Scale Cyber-Physical Systems: An Industrial Study Product-Focused Software Process Improvement: 26th International Conference, PROFES 2025, Salerno, Italy, December 1–3, 2025, Proceedings, p. 203-219 (Conference paper) https://dx.doi.org/10.1007/978-3-032-12089-2_13
Máté Földiák, Kristóf Marussy, Dániel Varró (2025) Model-based stochastic analysis with probabilistic graph query evaluation Software and Systems Modeling (Article in journal) https://dx.doi.org/10.1007/s10270-025-01331-z

News

Research

About the Division

Colleagues at SAS

About the Department