Software Engineer
CurrentCurrent project:Astrée: a static program analyzer that proves the absence of run-time errors in safety crtical embedded applications written in C;Responsibilites: GUI programming; Extensions to the analyzerPast projects:TimingExplorer - Exploring timing effects at early design stages.Decoding - designed and implemented a module that extracts and processes.