Fabien Siron - Research Engineer at CEA-List

Fabien Siron

Research Engineer at CEA-List

Greater Paris Metropolitan Region France

Join Prog.AI to see contacts

Summary

👤

Senior

🎓

Top School

Fabien Siron is a research engineer with a decade of experience specializing in operating systems, embedded/bare-metal programming, Linux kernel and system programming, now working at CEA-List on software safety and security. His background blends academic rigor—PhD work on formal verification of real-time systems—with hands-on engineering, including building verification toolchains for airborne certification and core team development at ASTERIOS. An active open-source contributor, he made performance-focused improvements to the well-known strace tracer, adding inode caching and network decoding refinements. He also teaches test and validation to master's students, bridging theory and practice. Based in Greater Paris, he routinely pairs low-level systems expertise with language-theory-informed approaches to make safety-critical software both verifiable and efficient.

10 years of coding experience

6 years of employment as a software developer

PhD Diploma, Computer Science, PhD Diploma, Computer Science at Université Côte d’Azur

Engineering Diploma, Computer Science, Engineering Diploma, Computer Science at EPITA: Ingénierie Informatique

International mobility semester (with EPITA), International mobility semester (with EPITA) at Staffordshire University

Baccalauréat scientifique, mention bien (High-School Diploma), Baccalauréat scientifique, mention bien (High-School Diploma) at Lycée Claude Nicolas Ledoux

French, English, Spanish

Github Skills (8)

c1710

socket-io10

debugging10

debug10

linux10

socket10

system-programming10

c1110

Programming languages (4)

JavaC++CHTML

Github contributions (5)

strace/strace

May 2016 - Jul 2016

strace is a diagnostic, debugging and instructional userspace utility for Linux

Role in this project:

Back-end Developer

Contributions:5 commits in 1 month

Contributions summary:Fabien primarily contributed to the `strace` project by implementing and refactoring core functionalities related to socket and network communication tracing. They introduced and utilized caching mechanisms for inode details, which likely improved efficiency. Their work involved modifying functions for parsing responses, handling network messages, and updating various related files. They also added a file descriptor argument to `decode_netlink` and refactored several functions to use `get_sockaddr_by_inode_cached`, indicating a focus on optimization and code organization.

userspacestracelinuxdiagnosticdebugging

Saruta/strace

May 2016 - Aug 2016

Contributions:35 commits, 32 pushes, 11 branches in 3 months

userspacestracelinuxdiagnosticdebugging

Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.

Request Free Trial