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.
Personal identifiers (ID numbers, home address, family details) are blacked out in the files marked redacted. Everything else is as issued.
Papers4
Author versions of my peer-reviewed papers.
Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles
Research paper at MODELS 2026 in Málaga.
SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles
Tool paper in the MODELS 2026 Tools and Demonstrations track.
Model-Driven Scenario-Based Assurance for the COLREGS Compliance of Autonomous Surface Vehicles
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
Camera-ready version of the ISSTA 2025 research paper (Proc. ACM Softw. Eng. 2, ISSTA). Received an ACM SIGSOFT Distinguished Paper Award.
Posters3
Research posters from demonstration weeks, conferences and study trips.
Model-Driven Scenario-Based Assurance for the COLREGS Compliance of ASVs
Poster for the WARA-PS Demonstration Week 2026.
Enhancing Safety Assurance for ASVs by Model-Based Test Generation
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
Research poster from the HCAIM Blended Intensive Programme in Utrecht, comparing XAI tools such as SHAP, LIME, Eli5 and Captum.
Theses3
Degree theses and student research reports from BME.
Complex Event Processing for Design-Space Exploration
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
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
BSc thesis at the Budapest University of Technology and Economics, supervised by Dr. Gyula Max.
Reports2
Project and course reports.
Topology Preservation in the Latent Spaces of Variational Autoencoders
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
Project laboratory report on the robot car fleet built at Nokia Bell Labs, supervised by Dr. Hassan Charaf at BME.
Diplomas2
Degree certificates with their Europass diploma supplements.
MSc in Computer Science Engineering, diploma and supplement
Budapest University of Technology and Economics. Excellent with highest honours.
BSc in Computer Science Engineering, diploma and supplement
Budapest University of Technology and Economics. Excellent with highest honours.
Transcripts and study plans4
Official records of courses and grades, and the plan of my PhD.
Individual study plan, PhD in Computer Science
Linköping University. Milestones, funding, supervision, thesis work and courses.
Transcript of records, MSc in Computer Science Engineering
Registry book excerpt from the Budapest University of Technology and Economics, with every course and grade.
Transcript of records, Erasmus exchange semester
Faculty of Engineering of the University of Porto (FEUP), academic year 2023/24.
Transcript of records, HCAIM Blended Intensive Programme
HU University of Applied Sciences Utrecht: Research in Practice, Boost Your Research Proposal (3 ECTS).
Certificates12
Course certificates, a language exam and certificates of attendance.
Certificate of attendance, MODELS 2026
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
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
6 credits, spring 2026. Examiner Jendrik Seipp, Linköping University.
WASP course certificate: Topological Data Analysis
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
3 credits, spring 2026. Examiner Nina Khairova, Umeå University.
Teacher training certificate: Peer visit
Didacticum, Linköping University: module of the course Higher Education Pedagogy for New Teachers (0.75 credits).
WASP course certificate: Autonomous Systems
6 credits, autumn 2025. Examiner Patric Jensfelt, KTH Royal Institute of Technology.
WASP course certificate: Software Engineering and Cloud Computing
6 credits, spring 2025. Examiner Paul Townend, Umeå University.
Teacher training certificate: Higher Education Pedagogy for New Teachers
Didacticum, Linköping University. 120 hours (4.5 credits), with the syllabus.
Certificate of attendance, FSE 2025 and ISSTA 2025
Trondheim, Norway, 23 to 28 June 2025, where I presented the ISSTA paper.
Teacher training certificate: Gender-aware teaching at LiTH
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)
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.