Academic

• Aug 2024 – now2 yrs 3 mos
  

  PhD in Computer Science: Model-Based Assurance of Autonomous Surface Vehicles

  Linköping University · Linköping, Sweden

  Doctoral research on model-based, simulation-driven safety assurance for autonomous surface vehicles, with a focus on COLREGS-compliant multi-vessel encounters. Supervised by Dániel Varró and Ulf Kargén; funded by the CUGS graduate school and affiliated with WASP.

  Position
• Sep 2023 – Jan 20245 mos
  

  Erasmus exchange semester at the University of Porto

  Faculdade de Engenharia da Universidade do Porto (FEUP) · Porto, Portugal

  Five-month Erasmus+ semester during my MSc, taking graduate courses in cloud and service-oriented computing, data analysis and integration, and human–computer interaction, all largely project-based.

  Education
• Dec 2022 – Feb 20233 mos
  

  Human-Centred AI Masters (HCAIM) & Blended Intensive Programme in Utrecht

  HU University of Applied Sciences Utrecht · BME · Utrecht, the Netherlands

  Complementary EU-defined programme in human-centred AI alongside my MSc, including an international intensive week in Utrecht: thesis topics from industry product owners, challenge-based team assessments, peer-reviewed pitches and a poster presentation.

  Education
• Feb 2022 – Jan 20242 yrs
  

  MSc in Computer Science Engineering

  Budapest University of Technology and Economics (BME) · Budapest, Hungary

  Master's degree in computer engineering with Critical Systems as main and Intelligent Systems as minor specialisation. Diploma grade 4.82/5.00, graduated "excellent with highest honours" (cum laude) in the Critical Systems Research Group (ftsrg). Thesis on complex event processing for design-space exploration.

  Education
• Sep 2018 – Jan 20223 yrs 5 mos
  

  BSc in Computer Science Engineering

  Budapest University of Technology and Economics (BME) · Budapest, Hungary

  Bachelor's degree in computer engineering with a specialisation in System Design. GPA 4.85/5.00, cum laude. Graduated at the Department of Automation and Applied Informatics with a thesis on deep-learning-based text mining of Hungarian-language sales contracts.

  Education

• 2025 – now
  

  SceneGEMS: Scenario Generation and Execution Framework for Maritime ASVs

  Linköping University · WARA-PS · Linköping, Sweden

  Open-source monorepo that ties my research together: a Python backend for three-level COLREGS scene generation, a React console for exploring and replaying scenarios, Gazebo/ArduPilot simulation images, and a runtime COLREGS monitor, all orchestrated with Docker and MQTT.

• Aug 2024 – now
  

  Model-Driven Scenario-Based Assurance for COLREGS Compliance

  Linköping University · WASP · Linköping, Sweden

  My main research line: a model-based pipeline that enumerates every semantically distinct multi-vessel COLREGS encounter, turns each into a simulation-ready scenario, and executes it against an autonomous vessel with a runtime compliance monitor.

• 2023 – Jan 2024
  

  Complex Event Processing for Design-Space Exploration (MSc thesis)

  Budapest University of Technology and Economics, Dept. of Artificial Intelligence and Systems Engineering · Budapest, Hungary

  Used runtime monitors to guide design-space exploration, so that test sequences for context-dependent cyber-physical systems (such as traffic scenarios for autonomous cars) are generated automatically and reach good behavioural coverage. Implemented in the open-source Refinery framework.

• Sep 2022 – Jan 2023
  

  Imitation Learning for Autonomous Driving in Duckietown

  Budapest University of Technology and Economics, team DSD · Budapest, Hungary

  Team project (three students) training and testing a self-driving agent in the Duckietown simulator with TensorFlow-based behaviour cloning. Included automatic data generation with a pure-pursuit controller, hyper-parameter optimisation and an AI Driving Olympics submission.

• 2021 – Jan 2022
  

  Deep Learning Based Text Mining for the Analysis of Sales Contracts in Hungarian (BSc thesis)

  Budapest University of Technology and Economics · Budapest, Hungary

  A client–server application that reads Hungarian-language sales contracts and extracts their key entities with a transformer-based named-entity recognition model. C# server and Windows Forms client, SQL Server storage, and a Python NLP component.

1. MODELS 2026Research paper

   • 
   • 

   Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles

   Dominik Frey, Ulf Kargén, and Dániel Varró · pp. 293–304

   doi:10.1145/3822455.3830315MODELS 2026 Research PapersCode (GitHub)Software artifact (Zenodo)
2. MODELS 2026 ToolsTool paper

   SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles

   Dominik Frey, Ulf Kargén, and Dániel Varró · pp. 219–223

   doi:10.1145/3837062.3838872MODELS 2026 Tools and DemonstrationsCode (GitHub)Demo video
3. MODELS 2026 DSDoctoral symposium

   Model-Driven Scenario-Based Assurance for the COLREGS Compliance of Autonomous Surface Vehicles

   Dominik Frey · pp. 51–55

   doi:10.1145/3837062.3839545MODELS 2026 Doctoral Symposium
4. ISSTA 2025Research paper

   • 

   Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles

   Dominik Frey, Ulf Kargén, and Dániel Varró · pp. 985–1008

   ACM SIGSOFT Distinguished Paper Award

   doi:10.1145/3728919ISSTA 2025 Research PapersCode (GitHub)

Invited and contributed talks, workshop presentations with published abstracts, and poster sessions.

• Sep 2026
  

  WARA-PS Demonstration Week 2026: Assuring the Safety of Maritime ASVs with SceneGEMS

  WASP Research Arena for Public Safety (WARA-PS) · Gränsö, Västervik, Sweden

  Presentation of SceneGEMS as an end-to-end framework, from scenario generation to simulation execution, at the WARA-PS demonstration week, where WASP researchers and partners show autonomous systems working in a shared maritime arena.

• Jun 2026
  

  WASP Software Engineering and Technology Cluster Workshop 2026: research presentation

  WASP Software Engineering and Technology cluster · Linköping, Sweden

  Presentation of my PhD project to the WASP software engineering and technology cluster: objectives, the multi-step refinement approach, SceneGEMS and the roadmap towards simulation-based assurance at scale.

• Feb 2026
  

  MODPROD 2026 talk: Assessing Scene Generation Techniques for Testing COLREGS-Compliance of ASVs

  MODPROD Workshop 2026 · Linköping University · Linköping, Sweden

  Talk and published abstract at the 20th MODPROD workshop, presenting the findings of my award-winning ISSTA 2025 study to the Swedish model-based engineering community.

• Jan 2026
  

  WASP Winter Conference 2026: research poster

  Wallenberg AI, Autonomous Systems and Software Program (WASP) · Örebro, Sweden

  Poster presentation of my COLREGS assurance research at WASP's annual winter conference, which gathers the program's PhD students, researchers and industry partners.

• Sep 2025
  

  WARA-PS Demonstration Week 2025: research poster

  WASP Research Arena for Public Safety (WARA-PS) · Gränsö, Västervik, Sweden

  Poster presentation of my COLREGS scenario-generation research at the WARA-PS demonstration week, aimed at the researchers and partners who build and operate the arena's autonomous vessels.

• Feb 2025
  

  MODPROD 2025 talk: Automated Scene Generation for Testing COLREGS-Compliance of ASVs

  MODPROD Workshop 2025 · Linköping University · Linköping, Sweden

  Talk and published abstract at the 19th MODPROD workshop on model-based product development, comparing multi-step refinement (MSR) with a search-based-only (SBO) approach for generating dangerous multi-vessel encounters.

• Oct 2026
  

  MODELS 2026 in Málaga: three papers, three talks

  ACM/IEEE MODELS 2026 · Málaga, Spain

  The ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, where I presented a research paper, a tool demonstration and a doctoral symposium paper in the same week.

  Event
• Sep – Oct 2026
  

  FAME 2026: 2nd International School on Foundations and Advances of Model-Based Engineering

  University of Málaga · Málaga, Spain

  Three days of lectures on model-based engineering at the University of Málaga, the week before MODELS 2026: foundations, language engineering, model processing, model-based testing, AI and MDE, and two career talks. I pitched my research to the participants.

  Event
• Mar 2026
  

  WASP International Study Trip to Singapore 2026

  Wallenberg AI, Autonomous Systems and Software Program (WASP) · Singapore

  A week in Singapore with WASP's international study trip for PhD students: research talks and lab tours at NTU and NUS, the Port of Singapore, A*STAR, and a reception at the Swedish Ambassador's Residence.

  Trip
• Aug 2025
  

  WASP Community Building Summer School 2025

  Wallenberg AI, Autonomous Systems and Software Program (WASP) · Linköping and Norrköping, Sweden

  WASP's week-long introduction for new PhD students: the program's research areas and clusters, lectures with group exercises, company visits in Linköping and a dome show at Visualization Center C in Norrköping.

  Event
• May 2025
  

  WARA-PS Data Collection Week 2025: field work

  WASP Research Arena for Public Safety (WARA-PS) · Gränsö, Västervik, Sweden

  Field week at the WARA-PS maritime test site, where WASP researchers run real autonomous platforms and collect data together.

  Event
• Jan 2025
  

  WASP Winter Conference 2025

  Wallenberg AI, Autonomous Systems and Software Program (WASP) · Norrköping, Sweden

  My first WASP Winter Conference: the program's annual gathering of PhD students, faculty and industry partners across AI, autonomous systems and software.

  Event

• Jun 2025
  

  ACM SIGSOFT Distinguished Paper Award at ISSTA 2025

  ACM SIGSOFT · Trondheim, Norway

  Our ISSTA 2025 paper on assessing scene-generation techniques for COLREGS-compliance testing received an ACM SIGSOFT Distinguished Paper Award, given to papers the programme committee judges to be among the best accepted at the conference.

• Nov 2023
  

  2nd Place at the Scientific Students' Association Conference (TDK), Intelligent Systems section

  Budapest University of Technology and Economics, TDK · Budapest, Hungary

  Presented "Testing Context-Dependent Behaviours with Design-Space Exploration" at BME's annual Scientific Students' Association Conference and won 2nd place in the Intelligent Systems section.

• Sep 2026 – now
  

  TDDC88 Software Engineering: project supervisor for architecture and integration

  Linköping University, Department of Computer and Information Science · Linköping, Sweden

  Supervising simulated software companies of 25–30 students that each build a product for a real industrial customer (Axis Communications in 2026). My area is architecture, design, configuration management and integration, which I also grade.

  Supervision
• Jan 2026 – now
  

  TDDD83 Bachelor Project: supervisor of startup-style product teams

  Linköping University, Department of Computer and Information Science · Linköping, Sweden

  Supervising teams of eight in LiU's 18-credit computer engineering bachelor project, where each group runs like a small startup: it pitches its own web-based business product, builds it with Scrum and evaluates it in a published bachelor thesis.

  Supervision
• Jan – Jul 2026
  

  MSc thesis supervision: Finding Vulnerable Code Clones from Known Vulnerability Cases

  Linköping University, IDA (Software and Systems) · Linköping, Sweden

  Supervised an MSc thesis on finding vulnerable code clones from public CVE cases: constructing seed code regions from patches, comparing the NiCad and VUDDY clone detectors, and manually assessing whether candidates still contain the vulnerability.

  Supervision
• Jan – Jun 2026
  

  BSc group thesis supervision: LIvent, a location-based event discovery platform

  Linköping University, IDA · Linköping, Sweden

  Supervised a team of eight bachelor students who designed, built and evaluated LIvent, a map-based event discovery web application for Östergötland, over three iterations of user-centred development and usability testing.

  Supervision
• Jan 2025 – now
  

  TDDC88 Software Engineering: lab assistant

  Linköping University, Department of Computer and Information Science · Linköping, Sweden

  Assisting in the labs of LiU's project-based Software Engineering course and grading its examinations, as part of the 20% departmental duties of my PhD position.

  Teaching
• Jan – Jun 2025
  

  MSc thesis supervision: “Extending IIoT Capabilities: KPI Monitoring and Heterogeneous Sensor Integration”

  Linköping University, IDA · Linköping, Sweden

  Supervised two MSc students who integrated a KPI-monitoring system into an existing industrial IoT environment, comparing a PLC + edge gateway architecture with a standalone edge gateway, backed by a simulation environment.

  Supervision
• Jan – Jun 2025
  

  MSc thesis supervision: A Systematic Study of Real-World Exploit Complexity in Android Security Bulletins

  Linköping University, IDA · Linköping, Sweden

  Supervised an MSc thesis that reproduced CVEs from the Android Security Bulletin on physical devices to test how well CVSS scores reflect real-world exploit complexity. It found frequent discrepancies, mostly towards lower actual severity.

  Supervision

• Sep 2026

  Co-reviewer for Reliability Engineering & System Safety

  Reliability Engineering & System Safety (Elsevier)

  Helped my supervisor Ulf Kargén review a manuscript submitted to Reliability Engineering & System Safety, an Elsevier journal on the reliability and safety of engineered systems.

• Jan 2025
  

  External reviewer for a BSc thesis and defence at BME

  Budapest University of Technology and Economics · Budapest, Hungary

  Acted as the external reviewer for a bachelor's thesis and its defence at my alma mater, BME, writing the formal review and taking part in the assessment.

• 2025 – Jan 2026
  

  Co-reviewer for FASE 2026 (ETAPS)

  FASE: Fundamental Approaches to Software Engineering (ETAPS 2026)

  Helped my supervisor Dániel Varró review a research paper in the autonomous-vessel domain for FASE 2026, one of the conferences of ETAPS.