I am a system engineer specialized in formal methods. My professional activities have focused on the development, and verification of high hazard software intensive systems. I work on client projects and research activities that focus on system engineering and safety engineering methodology for compliance with safety-related standards including EN50126, IEC 61508, DO-178C and ISO 26262. My work ranges from proposing practical solutions to meet the standards requirements, developing prototypes, writing functional and technical requirements, developing artifacts for certification and applying new verification methods that include the use of formal methods; thus, ensuring the systems correctness at an early design phase. While I mainly worked for the transport industry (automotive and rail) on the development of safe autonomous systems, I am interested in any complex systems.During my PhD, my research activities were centered on the verification and synthesis of distributed algorithms, with an emphasis on autonomous mobile robot protocols.