Krono-Safe
Fabien Siron is a Software Engineer at ASTERIOS TECHNOLOGIES, where involvement includes formal verification of safety-critical real-time applications as part of a PhD thesis in collaboration with Inria Sophia-Antipolis. Notable contributions include developing a Python tool for automatic verifications on ASTERIOS Compiler outputs and managing real-time software models for Asterios Designer. Additionally, Fabien serves as an Adjunct Teacher at EPITA, teaching "Test and Validation" to master's students. Previous experiences include internships at Thales and Google Summer of Code, as well as leadership roles in the robotics association Evolutek<<. Fabien holds a PhD in Computer Science from Université Côte d'Azur and an Engineering Diploma from EPITA.