# Dominik Frey

> PhD candidate in Computer Science at Linköping University. I build model-based methods that generate and run the test scenarios autonomous systems must pass before they can be trusted, currently for autonomous vessels. Before my PhD I wrote firmware for fleet trackers, built cooperative robot cars at Nokia Bell Labs, and built enterprise software for Valeo.

Personal website of Dominik Frey (Linköping, Sweden). Research interests: Autonomous systems, Model-based assurance, Simulation-based testing, Safety-critical systems, Model-driven engineering, Software engineering, Maritime autonomous surface ships. Every entry below has its own page with dates, links, references and a longer write-up. The complete text of the site is in [llms-full.txt](https://dominikfrey.dev/llms-full.txt).

Contact: dominik.frey@liu.se (work), frey.dominik@hotmail.hu (personal). Profiles: [LinkedIn](https://www.linkedin.com/in/dominik-frey-16606322a), [GitHub](https://github.com/fdominik98), [Google Scholar](https://scholar.google.com/citations?user=T7kubZ4AAAAJ), [ORCID](https://orcid.org/0009-0007-7174-4209), [dblp](https://dblp.org/pid/131/7117.html), [ResearchGate](https://www.researchgate.net/profile/Dominik-Frey-3), [Zenodo](https://zenodo.org/search?q=metadata.creators.person_or_org.name%3A%22Frey%2C%20Dominik%22), [YouTube](https://www.youtube.com/@DominikFrey-k5e), [LiU profile](https://liu.se/en/employee/domfr93).

## Pages

- [Overview](https://dominikfrey.dev/): Profile, lifeline, publications, recent activity and contact details.
- [Academic](https://dominikfrey.dev/academic): I work on making maritime autonomous surface ships (MASSs) safe. My research turns the International Regulations for Preventing Collisions at Sea (COLREGS) into models that can generate every semantically different multi-vessel encounter and run it in simulation.
- [Industry](https://dominikfrey.dev/industry): Before the PhD I spent two and a half years building systems for other people: firmware for fleet trackers, a cooperative fleet of autonomous robot cars, and an enterprise system for a multinational automotive supplier.
- [Lifeline](https://dominikfrey.dev/lifeline): Education and research on one side, industry on the other. Everything I have done since starting university, in order.
- [Skills](https://dominikfrey.dev/skills): Skills grouped by area, each linked to the entries that back it up.
- [Log](https://dominikfrey.dev/log): Every activity on this site has its own page with dates, links, references and a longer write-up. Filter by track or type, or browse the whole log.
- [Beyond work](https://dominikfrey.dev/beyond): Where I'm from, what I do for fun, where I've lived, and a few photos from along the way.
- [Files](https://dominikfrey.dev/files): Papers, posters, theses, reports, diplomas, transcripts and certificates, all in one place. Each file links to the pages it belongs to, and those pages link back here.
- [Photos](https://dominikfrey.dev/photos): Every photo on this site, grouped by where it was taken. Each one links to the pages it appears on.

## Publications

- [SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles](https://dominikfrey.dev/a/models-2026-scenegems-tool): Dominik Frey, Ulf Kargén, Dániel Varró. 2026. SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles. Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems: Companion (Tools & Demonstrations), 219–223. https://doi.org/10.1145/3837062.3838872
- [Model-Driven Scenario-Based Assurance for the COLREGS Compliance of Autonomous Surface Vehicles](https://dominikfrey.dev/a/models-2026-doctoral-symposium): Dominik Frey. 2026. Model-Driven Scenario-Based Assurance for the COLREGS Compliance of Autonomous Surface Vehicles. Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems: Companion (Doctoral Symposium), 51–55. https://doi.org/10.1145/3837062.3839545
- [Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles](https://dominikfrey.dev/a/models-2026-functionally-complete-assurance-suites): Dominik Frey, Ulf Kargén, Dániel Varró. 2026. Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles. Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS 2026), 293–304. https://doi.org/10.1145/3822455.3830315
- [Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles](https://dominikfrey.dev/a/issta-2025-assessing-scene-generation): Dominik Frey, Ulf Kargén, Dániel Varró. 2025. Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles. Proceedings of the ACM on Software Engineering, Vol. 2, Issue ISSTA, 985–1008. https://doi.org/10.1145/3728919

## Positions and education

- [PhD in Computer Science: Model-Based Assurance of Autonomous Surface Vehicles](https://dominikfrey.dev/a/liu-phd): Aug 2024 – now, Linköping University. Doctoral research on model-based, simulation-driven safety assurance for autonomous surface vehicles, with a focus on COLREGS-compliant multi-vessel encounters.
- [Erasmus exchange semester at the University of Porto](https://dominikfrey.dev/a/porto-erasmus): Sep 2023 – Jan 2024, Faculdade de Engenharia da Universidade do Porto (FEUP). 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.
- [Human-Centred AI Masters (HCAIM) & Blended Intensive Programme in Utrecht](https://dominikfrey.dev/a/hcaim-bip-utrecht): Dec 2022 – Feb 2023, HU University of Applied Sciences Utrecht · BME. 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.
- [MSc in Computer Science Engineering](https://dominikfrey.dev/a/bme-msc): Feb 2022 – Jan 2024, Budapest University of Technology and Economics (BME). Master's degree in computer engineering with Critical Systems as main and Intelligent Systems as minor specialisation.
- [BSc in Computer Science Engineering](https://dominikfrey.dev/a/bme-bsc): Sep 2018 – Jan 2022, Budapest University of Technology and Economics (BME). Bachelor's degree in computer engineering with a specialisation in System Design.

## Industry experience

- [Software Engineer: Inventory Management System for Valeo](https://dominikfrey.dev/a/artillence): Dec 2022 – Sep 2023, Artillence Kft.. Designed, managed and developed an enterprise inventory management system for Valeo Automotive's offices in Budapest, Erlangen, Giza, Cergy and other sites.
- [Research Intern in Autonomous Embedded Systems](https://dominikfrey.dev/a/nokia-bell-labs): Apr – Sep 2022, Nokia Bell Labs. Designed, built and programmed Raspberry Pi–based autonomous robot cars in C++ to study cooperative multi-agent driving on a down-scaled test track.
- [Embedded Systems Software Developer](https://dominikfrey.dev/a/idata): May 2021 – May 2022, iData Kft. (iData Telematics). Developed ARM STM32 firmware in C++ (and tooling in Python) for GPS-based fleet tracking devices: GPS/server clock synchronisation, synchronised sensor sampling, a variable-bit-width message serialisation protocol, and on-device performance telemetry.

## Research and projects

- [SceneGEMS: Scenario Generation and Execution Framework for Maritime ASVs](https://dominikfrey.dev/a/scenegems): 2025 – now, Linköping University · WARA-PS. 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.
- [Model-Driven Scenario-Based Assurance for COLREGS Compliance](https://dominikfrey.dev/a/colregs-assurance-research): Aug 2024 – now, Linköping University · WASP. 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.
- [Complex Event Processing for Design-Space Exploration (MSc thesis)](https://dominikfrey.dev/a/msc-thesis-cep-dse): 2023 – Jan 2024, Budapest University of Technology and Economics, Dept. of Artificial Intelligence and Systems Engineering. 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.
- [Imitation Learning for Autonomous Driving in Duckietown](https://dominikfrey.dev/a/duckietown): Sep 2022 – Jan 2023, Budapest University of Technology and Economics, team DSD. Team project (three students) training and testing a self-driving agent in the Duckietown simulator with TensorFlow-based behaviour cloning.
- [Deep Learning Based Text Mining for the Analysis of Sales Contracts in Hungarian (BSc thesis)](https://dominikfrey.dev/a/bsc-thesis-text-mining): 2021 – Jan 2022, Budapest University of Technology and Economics. A client–server application that reads Hungarian-language sales contracts and extracts their key entities with a transformer-based named-entity recognition model.

## Talks and posters

- [WARA-PS Demonstration Week 2026: Assuring the Safety of Maritime ASVs with SceneGEMS](https://dominikfrey.dev/a/wara-ps-demo-week-2026): Sep 2026, WASP Research Arena for Public Safety (WARA-PS). 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.
- [WASP Software Engineering and Technology Cluster Workshop 2026: research presentation](https://dominikfrey.dev/a/wasp-se-cluster-workshop-2026): Jun 2026, WASP Software Engineering and Technology cluster. 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.
- [MODPROD 2026 talk: Assessing Scene Generation Techniques for Testing COLREGS-Compliance of ASVs](https://dominikfrey.dev/a/modprod-2026): Dominik Frey, Ulf Kargén, Dániel Varró. 2026. MODPROD 2026 talk: Assessing Scene Generation Techniques for Testing COLREGS-Compliance of ASVs. Proceedings of the 20th MODPROD Workshop on Model-Based Cyber-Physical Product Development.
- [WASP Winter Conference 2026: research poster](https://dominikfrey.dev/a/wasp-winter-conference-2026): Jan 2026, Wallenberg AI, Autonomous Systems and Software Program (WASP). Poster presentation of my COLREGS assurance research at WASP's annual winter conference, which gathers the program's PhD students, researchers and industry partners.
- [WARA-PS Demonstration Week 2025: research poster](https://dominikfrey.dev/a/wara-ps-demo-week-2025): Sep 2025, WASP Research Arena for Public Safety (WARA-PS). 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.
- [MODPROD 2025 talk: Automated Scene Generation for Testing COLREGS-Compliance of ASVs](https://dominikfrey.dev/a/modprod-2025): Dominik Frey, Ulf Kargén, Dániel Varró. 2025. MODPROD 2025 talk: Automated Scene Generation for Testing COLREGS-Compliance of ASVs. Proceedings of the 19th MODPROD Workshop on Model-Based Cyber-Physical Product Development.

## Awards

- [ACM SIGSOFT Distinguished Paper Award at ISSTA 2025](https://dominikfrey.dev/a/acm-sigsoft-distinguished-paper-2025): Jun 2025, ACM SIGSOFT. 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.
- [2nd Place at the Scientific Students' Association Conference (TDK), Intelligent Systems section](https://dominikfrey.dev/a/tdk-2023-second-place): Nov 2023, Budapest University of Technology and Economics, TDK. 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.

## Teaching and supervision

- [TDDC88 Software Engineering: project supervisor for architecture and integration](https://dominikfrey.dev/a/tddc88-project-supervisor): Sep 2026 – now, Linköping University, Department of Computer and Information Science. Supervising simulated software companies of 25–30 students that each build a product for a real industrial customer (Axis Communications in 2026).
- [TDDD83 Bachelor Project: supervisor of startup-style product teams](https://dominikfrey.dev/a/tddd83-bachelor-project-supervisor): Jan 2026 – now, Linköping University, Department of Computer and Information Science. 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.
- [MSc thesis supervision: Finding Vulnerable Code Clones from Known Vulnerability Cases](https://dominikfrey.dev/a/supervision-vulnerable-code-clones-2026): Jan – Jul 2026, Linköping University, IDA (Software and Systems). 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.
- [BSc group thesis supervision: LIvent, a location-based event discovery platform](https://dominikfrey.dev/a/supervision-livent-bachelor-2026): Jan – Jun 2026, Linköping University, IDA. 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.
- [TDDC88 Software Engineering: lab assistant](https://dominikfrey.dev/a/tddc88-software-engineering): Jan 2025 – now, Linköping University, Department of Computer and Information Science. 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.
- [MSc thesis supervision: “Extending IIoT Capabilities: KPI Monitoring and Heterogeneous Sensor Integration”](https://dominikfrey.dev/a/supervision-iiot-kpi-monitoring-2025): Jan – Jun 2025, Linköping University, IDA. 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.
- [MSc thesis supervision: A Systematic Study of Real-World Exploit Complexity in Android Security Bulletins](https://dominikfrey.dev/a/supervision-android-exploit-complexity-2025): Jan – Jun 2025, Linköping University, IDA. 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.

## Service

- [Co-reviewer for Reliability Engineering & System Safety](https://dominikfrey.dev/a/ress-2026-review): Sep 2026, 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.
- [External reviewer for a BSc thesis and defence at BME](https://dominikfrey.dev/a/bme-thesis-review-2025): Jan 2025, Budapest University of Technology and Economics. 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.
- [Co-reviewer for FASE 2026 (ETAPS)](https://dominikfrey.dev/a/fase-2026-review): 2025 – Jan 2026, 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.

## Events and trips

- [MODELS 2026 in Málaga: three papers, three talks](https://dominikfrey.dev/a/models-2026-malaga): Oct 2026, ACM/IEEE MODELS 2026. 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.
- [FAME 2026: 2nd International School on Foundations and Advances of Model-Based Engineering](https://dominikfrey.dev/a/fame-2026-school): Sep – Oct 2026, University of Málaga. 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.
- [WASP International Study Trip to Singapore 2026](https://dominikfrey.dev/a/wasp-singapore-study-trip-2026): Mar 2026, Wallenberg AI, Autonomous Systems and Software Program (WASP). 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.
- [WASP Community Building Summer School 2025](https://dominikfrey.dev/a/wasp-community-building-summer-school-2025): Aug 2025, Wallenberg AI, Autonomous Systems and Software Program (WASP). 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.
- [WARA-PS Data Collection Week 2025: field work](https://dominikfrey.dev/a/wara-ps-data-collection-week-2025): May 2025, WASP Research Arena for Public Safety (WARA-PS). Field week at the WARA-PS maritime test site, where WASP researchers run real autonomous platforms and collect data together.
- [WASP Winter Conference 2025](https://dominikfrey.dev/a/wasp-winter-conference-2025): Jan 2025, Wallenberg AI, Autonomous Systems and Software Program (WASP). My first WASP Winter Conference: the program's annual gathering of PhD students, faculty and industry partners across AI, autonomous systems and software.

## Files

Documents in the [files library](https://dominikfrey.dev/files), all PDF.

### Papers

- [Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles](https://dominikfrey.dev/files/papers/models-2026-functionally-complete-assurance-suites-colregs-asv.pdf): Papers, Oct 2026, 12 pages. Research paper at MODELS 2026 in Málaga.
- [SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles](https://dominikfrey.dev/files/papers/models-2026-scenegems-tool-paper.pdf): Papers, Oct 2026, 5 pages. Tool paper in the MODELS 2026 Tools and Demonstrations track.
- [Model-Driven Scenario-Based Assurance for the COLREGS Compliance of Autonomous Surface Vehicles](https://dominikfrey.dev/files/papers/models-2026-doctoral-symposium-scenario-based-assurance-colregs.pdf): Papers, Oct 2026, 5 pages. Doctoral symposium paper at MODELS 2026, outlining the research plan of my PhD.
- [Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles](https://dominikfrey.dev/files/papers/issta-2025-assessing-scene-generation-colregs-asv.pdf): Papers, Jun 2025, 24 pages. Camera-ready version of the ISSTA 2025 research paper (Proc. ACM Softw. Eng. 2, ISSTA). Received an ACM SIGSOFT Distinguished Paper Award.

### Posters

- [Model-Driven Scenario-Based Assurance for the COLREGS Compliance of ASVs](https://dominikfrey.dev/files/posters/wara-ps-2026-scenario-based-assurance-colregs-poster.pdf): Posters, Sep 2026, 1 pages. Poster for the WARA-PS Demonstration Week 2026.
- [Enhancing Safety Assurance for ASVs by Model-Based Test Generation](https://dominikfrey.dev/files/posters/wara-ps-2025-model-based-test-generation-asv-poster.pdf): Posters, Sep 2025, 1 pages. First shown at the WARA-PS Demonstration Week 2025, then at the WASP Winter Conference 2026 and on the Singapore study trip.
- [Applied Explainable Artificial Intelligence](https://dominikfrey.dev/files/posters/hcaim-2023-applied-explainable-ai-poster.pdf): Posters, Feb 2023, 1 pages. Research poster from the HCAIM Blended Intensive Programme in Utrecht, comparing XAI tools such as SHAP, LIME, Eli5 and Captum.

### Theses

- [Complex Event Processing for Design-Space Exploration](https://dominikfrey.dev/files/theses/msc-thesis-2023-complex-event-processing-dse.pdf): Theses, 17 Dec 2023, 78 pages. MSc thesis at the Budapest University of Technology and Economics, supervised by Dr. Kristóf Marussy and Dr. András Vörös.
- [Testing Context Dependent Behaviours with Design-Space Exploration](https://dominikfrey.dev/files/theses/tdk-2023-testing-context-dependent-behaviours-dse.pdf): Theses, Nov 2023, 62 pages. Scientific Students' Association (TDK) report that won 2nd place in the Intelligent Systems section, and the groundwork for my MSc thesis.
- [Text Mining for the Analysis of Hungarian Sales Contracts with Deep Learning](https://dominikfrey.dev/files/theses/bsc-thesis-2021-text-mining-hungarian-sales-contracts.pdf): Theses, Dec 2021, 63 pages, in Hungarian. BSc thesis at the Budapest University of Technology and Economics, supervised by Dr. Gyula Max.

### Reports

- [Topology Preservation in the Latent Spaces of Variational Autoencoders](https://dominikfrey.dev/files/reports/wasp-tda-2026-topology-of-vae-latent-spaces-report.pdf): Reports, 5 Jan 2026, 12 pages. Group project report for the WASP course Topological Data Analysis, with Emma Andersdotter, Viktor Vigren Näslund, Nathaniel Helgesen and Juliana Francis.
- [Programming a Complex, Multi-Agent System of Cooperative Self-Driving Cars](https://dominikfrey.dev/files/reports/nokia-bell-labs-2022-cooperative-self-driving-cars-report.pdf): Reports, 2022, 19 pages, in Hungarian. Project laboratory report on the robot car fleet built at Nokia Bell Labs, supervised by Dr. Hassan Charaf at BME.

### Diplomas

- [MSc in Computer Science Engineering, diploma and supplement](https://dominikfrey.dev/files/diplomas/bme-msc-2024-diploma-and-supplement.pdf): Diplomas, 25 Jan 2024, 7 pages, personal identifiers redacted. Budapest University of Technology and Economics. Excellent with highest honours.
- [BSc in Computer Science Engineering, diploma and supplement](https://dominikfrey.dev/files/diplomas/bme-bsc-2022-diploma-and-supplement.pdf): Diplomas, 4 Jan 2022, 8 pages, personal identifiers redacted. Budapest University of Technology and Economics. Excellent with highest honours.

### Transcripts and study plans

- [Individual study plan, PhD in Computer Science](https://dominikfrey.dev/files/transcripts/liu-phd-2026-individual-study-plan.pdf): Transcripts and study plans, 17 Oct 2026, 24 pages, personal identifiers redacted. Linköping University. Milestones, funding, supervision, thesis work and courses.
- [Transcript of records, MSc in Computer Science Engineering](https://dominikfrey.dev/files/transcripts/bme-msc-2024-transcript-of-records.pdf): Transcripts and study plans, 29 Oct 2024, 14 pages, personal identifiers redacted. Registry book excerpt from the Budapest University of Technology and Economics, with every course and grade.
- [Transcript of records, Erasmus exchange semester](https://dominikfrey.dev/files/transcripts/porto-2024-erasmus-transcript-of-records.pdf): Transcripts and study plans, 13 Mar 2024, 2 pages, personal identifiers redacted. Faculty of Engineering of the University of Porto (FEUP), academic year 2023/24.
- [Transcript of records, HCAIM Blended Intensive Programme](https://dominikfrey.dev/files/transcripts/hcaim-2023-bip-utrecht-transcript-of-records.pdf): Transcripts and study plans, 8 Feb 2023, 2 pages. HU University of Applied Sciences Utrecht: Research in Practice, Boost Your Research Proposal (3 ECTS).

### Certificates

- [Certificate of attendance, MODELS 2026](https://dominikfrey.dev/files/certificates/models-2026-attendance-certificate.pdf): Certificates, 13 Oct 2026, 1 pages. 29th International Conference on Model Driven Engineering Languages and Systems, Málaga, 4 to 9 October 2026, where I presented three papers.
- [Certificate of attendance, FAME 2026 school](https://dominikfrey.dev/files/certificates/fame-2026-attendance-certificate.pdf): Certificates, Oct 2026, 1 pages. 2nd International School on Foundations and Advances of Model-Based Engineering, Málaga, 30 September to 2 October 2026.
- [WASP course certificate: Planning and Relational Learning](https://dominikfrey.dev/files/certificates/wasp-2026-planning-and-relational-learning-certificate.pdf): Certificates, 1 Sep 2026, 1 pages. 6 credits, spring 2026. Examiner Jendrik Seipp, Linköping University.
- [WASP course certificate: Topological Data Analysis](https://dominikfrey.dev/files/certificates/wasp-2026-topological-data-analysis-certificate.pdf): Certificates, 22 Apr 2026, 1 pages. 6 credits, autumn 2025. Examiner Wojciech Chachólski, KTH Royal Institute of Technology.
- [WASP course certificate: Ethical, Legal and Societal Aspects of AI and Autonomous Systems](https://dominikfrey.dev/files/certificates/wasp-2026-ethical-legal-societal-aspects-of-ai-certificate.pdf): Certificates, 2 Apr 2026, 1 pages. 3 credits, spring 2026. Examiner Nina Khairova, Umeå University.
- [Teacher training certificate: Peer visit](https://dominikfrey.dev/files/certificates/liu-2026-peer-visit-certificate.pdf): Certificates, 23 Jan 2026, 2 pages. Didacticum, Linköping University: module of the course Higher Education Pedagogy for New Teachers (0.75 credits).
- [WASP course certificate: Autonomous Systems](https://dominikfrey.dev/files/certificates/wasp-2025-autonomous-systems-certificate.pdf): Certificates, 8 Dec 2025, 1 pages. 6 credits, autumn 2025. Examiner Patric Jensfelt, KTH Royal Institute of Technology.
- [WASP course certificate: Software Engineering and Cloud Computing](https://dominikfrey.dev/files/certificates/wasp-2025-software-engineering-and-cloud-computing-certificate.pdf): Certificates, 28 Nov 2025, 1 pages. 6 credits, spring 2025. Examiner Paul Townend, Umeå University.
- [Teacher training certificate: Higher Education Pedagogy for New Teachers](https://dominikfrey.dev/files/certificates/liu-2025-higher-education-pedagogy-certificate.pdf): Certificates, 27 Jun 2025, 2 pages, personal identifiers redacted. Didacticum, Linköping University. 120 hours (4.5 credits), with the syllabus.
- [Certificate of attendance, FSE 2025 and ISSTA 2025](https://dominikfrey.dev/files/certificates/fse-issta-2025-attendance-certificate.pdf): Certificates, Jun 2025, 1 pages. Trondheim, Norway, 23 to 28 June 2025, where I presented the ISSTA paper.
- [Teacher training certificate: Gender-aware teaching at LiTH](https://dominikfrey.dev/files/certificates/liu-2025-gender-aware-teaching-certificate.pdf): Certificates, 11 Feb 2025, 1 pages, in Swedish, personal identifiers redacted. Department of Computer and Information Science, Linköping University: training for mentors and lab assistants (in Swedish: Genusmedveten undervisning på LiTH).
- [ECL language exam certificates: English, proficiency level (C1)](https://dominikfrey.dev/files/certificates/ecl-2016-english-c1-language-exam-certificates.pdf): Certificates, 13 Jan 2016, 2 pages, in Hungarian and English. State-accredited general English exam in the ECL system (examination centre: University of Pécs), taken in Budapest in two parts: written on 2 October 2015 and oral on 5 December 2015.

## Optional

- [Full text of every page](https://dominikfrey.dev/llms-full.txt): profile, skills, coursework and every entry in Markdown
- [Sitemap](https://dominikfrey.dev/sitemap.xml): every URL on the site