Nicolas Amat
Research Scientist at ONERA - The French Aerospace Lab
Toulouse, Occitania, France
Summary
👤
Senior🎓
Top SchoolNicolas Amat is a research scientist with nine years of experience at the intersection of theoretical computer science and practical formal verification, currently working on applying formal methods to autonomous robotic systems at ONERA. He earned a PhD from LAAS-CNRS for advancing SMT- and polyhedral-based model-checking techniques for Petri nets and followed with postdoctoral work on automata-based reasoning for Presburger arithmetic at IMDEA. His background spans model checking, SAT/SMT solving, Petri nets, logic and automated reasoning, complemented by hands-on experience in OS/kernel and embedded Linux development. A free-software enthusiast and Model Checking Contest participant, he blends rigorous theory with tool-building—having contributed to an SMT-based model checker during his PhD—and maintains an active technical presence through his website and GitHub. Curious about cryptography and cybersecurity, he brings both deep formal-methods expertise and practical systems skills to verification challenges in aerospace and robotics.
9 years of coding experience
1 year of employment as a software developer
Engineer's degree, Computer Science, Engineer's degree, Computer Science at National School of Computer Science and Applied Mathematics of GrenobleMaster of Science in Informatics at Grenoble (MOSIG), High-confidence Embedded and Cyberphysical Systems (HECS), Master of Science in Informatics at Grenoble (MOSIG), High-confidence Embedded and Cyberphysical Systems (HECS) at Université Grenoble AlpesCPP- La prépa des INPDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Institut national des Sciences appliquées de Toulouse
English, Spanish, French
Github Skills (37)
reachability10
abstraction10
relation10
sat10
smt10
model-checking9
linear-algebra9
petri-net9
windows-service8
windows8
manifest8
reduction8
graph7
mdt7
command-line7
Programming languages (6)
Github contributions (5)
nicolasAmat/Sudoku_Solver
Dec 2019 - Sep 2021
Contributions:26 commits, 4 pushes in 1 year 9 months
nicolasAmat/MCC-Reachability
Aug 2022 - Nov 2022
Contributions:31 commits, 29 pushes in 2 months
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.