Arthur Bit-monnot
Associate Professor
Toulouse, Occitania, France
Summary
👤
Senior🎓
Top SchoolArthur Bit-monnot is an Associate Professor at INSA Toulouse with 15 years of experience specializing in AI-driven autonomous decision-making and robotics. His research blends constraint programming, operations research, and automated reasoning to build planning and control systems for real-world robotic applications, from UAV fleet monitoring of forest fires to cyber-physical controller synthesis. He developed constraint-based temporal planners during his PhD that support hierarchical knowledge and sensing-aware controllability, and has extended those tools into an acting system used in academic and industry projects. Arthur has held postdoctoral roles in Italy and at LAAS-CNRS and spent time at NASA Ames, demonstrating a track record of tackling large-scale, uncertain environments and non-linear objectives. Based in Toulouse, he combines theoretical rigor with practical simulation frameworks and local-search methods that produce realistic, deployable robot trajectories. A detail that sets him apart is his work relaxing total observability assumptions to detect and plan the minimal sensing actions needed to keep plans executable in uncertain settings.
15 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy (PhD), Artificial Intelligence, Doctor of Philosophy (PhD), Artificial Intelligence at Toulouse INPMaster's degree, Artificial Intelligence, Master's degree, Artificial Intelligence at Université Paul Sabatier (Toulouse III)Master's degree, Computer Science, Master's degree, Computer Science at Institut national des Sciences appliquées de Toulouse
French, English, Portuguese, Italian
Github Skills (73)
python10
toolbox10
constraint10
fleet10
automata10
simulation10
cpp9
docker9
gis9
cmake8
pelican8
newsletter8
query-language8
dune7
rust7
Programming languages (11)
Github contributions (5)
arbimo/ocaml-maxflow-project
Nov 2020 - Dec 2025
Base project for the functional programming course
Contributions:7 pushes, 4 branches in 5 years 2 months
incrementalprogramming-coursefunctional-programmingocamlquery-language
arthur-bit-monnot/mumoro
Feb 2013 - Aug 2013
Contributions:90 commits, 1 push in 5 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.