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.
2026
- 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 - 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.
Talk - 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 - 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.
Service - 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.
Talk - 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 - 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.
Talk - 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 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.
Talk - 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 - Oct 2026
SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles
ACM/IEEE MODELS 2026 (Tools and Demonstrations) · Málaga, Spain
Tool paper presenting SceneGEMS, an integrated framework that generates functionally complete COLREGS assurance suites, executes them in simulation with the vessel under test in the loop, and monitors COLREGS compliance at runtime.
Publication - Oct 2026
Model-Driven Scenario-Based Assurance for the COLREGS Compliance of Autonomous Surface Vehicles
ACM/IEEE MODELS 2026 (Doctoral Symposium) · Málaga, Spain
Single-author doctoral symposium paper setting out my PhD research plan (objectives, contributions so far and open problems) and discussing it with a panel of senior researchers in the modelling community.
Publication
2025
- 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.
Talk - 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 - 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.
Award - 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 - 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.
Talk - 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 - 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 - 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.
Service - 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.
Project - 2025 – Oct 2026
Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles
ACM/IEEE MODELS 2026 (Research Papers) · Málaga, Spain
The first implementation of multi-step refinement for COLREGS assurance. It enumerates every functional equivalence class of a multi-vessel encounter with a graph solver, maps each to geometric constraints, and solves them into concrete initial scenes. The result is 100% semantic coverage for 2–6 vessels.
Publication - 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.
Service
2024
- 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 - 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.
Project - Aug 2024 – Jun 2025
Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles
ACM SIGSOFT ISSTA 2025 (Research Papers) · Trondheim, Norway
An experience paper testing whether scene-generation techniques from automated driving carry over to multi-vessel COLREGS encounters. They are fast, but they lose diversity and completeness as vessels are added, and real-world AIS data barely contains multi-vessel cases. Received an ACM SIGSOFT Distinguished Paper Award.
Publication ACM SIGSOFT Distinguished Paper Award
2023
- 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.
Award - 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 - 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.
Project
2022
- 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 - Dec 2022 – Sep 202310 mos
Software Engineer: Inventory Management System for Valeo
Artillence Kft. · Budapest, Hungary
Designed, managed and developed an enterprise inventory management system for Valeo Automotive's offices in Budapest, Erlangen, Giza, Cergy and other sites. I led requirements analysis, Python development, CI/CD, testing and validation, documentation and customer coordination.
Position - 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.
Project - Apr – Sep 20226 mos
Research Intern in Autonomous Embedded Systems
Nokia Bell Labs · Budapest, Hungary
Designed, built and programmed Raspberry Pi–based autonomous robot cars in C++ to study cooperative multi-agent driving on a down-scaled test track. The core was 9-axis IMU sensor fusion with a self-correcting heading controller for stable line following, and a compact V2V message protocol for sharing vehicle state across the fleet.
Position - 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
2021
- May 2021 – May 20221 yr 1 mo
Embedded Systems Software Developer
iData Kft. (iData Telematics) · Budapest, Hungary
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.
Position - 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.
Project
2018
- 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