Experience

Researcher in the Dependable Autonomous Systems unit, working on verification, validation, and prototyping for safety-critical automated systems.

• Prototype embedded systems and software tools for EU-funded research projects
• Develop V&V approaches for safety and cybersecurity of automated systems
• Build CI/CD pipelines, Docker environments, and automated test infrastructure for internal use
• System integration across hardware-software boundaries for cyber-physical systems
• Supervise master thesis students
• Author project proposals to secure EU research funding

Doctoral research in supervisory control of automated systems.

• Developed MIDES: a Scala-based tool for automatic generation of formal supervisory control models using active automata learning — eliminating manual model creation for complex systems
• Applied supervisory control theory to real manufacturing and autonomous systems
• Built data ingestion pipeline for manufacturing systems
• Published research at IEEE CASE, INCOM, and other international venues
• Teaching assistant for courses in control systems and formal methods
• Supervised bachelor and master thesis students

Software development in telecommunications infrastructure.