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.

Co-founded an embedded systems company that began with hands-on training in robotics, microcontrollers, image processing and PCB design, and grew into hardware design services and home-automation products.

• Led PCB design and hardware architecture, including custom Arduino-compatible boards and a low-cost AVR programmer for workshop kits; continued as advisor and PCB designer from Sweden after 2013
• Delivered home-automation systems for residential and hotel clients, from board design through to deployment
• Designed hardware for start-ups and small companies, including a water management system for apartments and a fleet management system
• Ran workshops for students and faculty on Arduino, OpenCV, embedded programming, and PCB design and fabrication with KiCad
• Helped start the Freedom Hardware Movement, the Bangalore open hardware chapter of Free Software Movement Karnataka (FSMK), and organised its first symposium: talks, a student project exhibition and a PCB workshop that drew more than 150 registrations for 30 planned seats
• Gave talks at engineering colleges on freedom hardware and on turning hobby projects into products with open hardware