This page contains links to projects I am (or was) involved in.

• My GitHub profile
• GIT repositories of some of our university projects

Development projects

• nix-ros-overlay maintainer
• Autonomous skid-steer loader for underground environments
• Ros2TraceAnalyzer

Past EU Projects

• HERCULES — High-Performance Real-time Architectures for Low-Power Embedded Systems
• SESAMO — Security & Safety Modelling
• PASSIVE — Policy-Assessed system-level Security of Sensitive Information processing in Virtualised Environments
• FRESCOR — Framework for Real-time Embedded Systems based on COntRacts
• OCERA — Open Components for Real-Time Applications