Marc Pantel
Deputy Head Of La Prépa Des INPs, Site De Toulouse at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Toulouse, Occitania, France
Summary
👤
Senior🎓
Top SchoolMarc Pantel is an Associate Professor of Computer Science and Deputy Head of La Prépa des INPs in Toulouse with over 13 years of professional experience and an academic career spanning back to the mid-1990s. He specializes in formal methods, static analysis, semantics, model-driven engineering, and domain-specific languages, applying rigorous theory to practical software engineering problems. At Toulouse INP and University of Toulouse he combines teaching, research, and academic leadership, guiding preparation programs that bridge engineering education and industry needs. His background includes early industry placements in aerospace, reflecting a longstanding interest in high-assurance systems. Marc holds engineering and PhD credentials from ENSEEIHT and is known for translating formal semantics into tools and methods that improve software reliability.
14 years of coding experience
Engineer, PhD, Electrical engineering, Computer Science, Engineer, PhD, Electrical engineering, Computer Science at Toulouse INP - ENSEEIHT, Université de Toulouse
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (5)
ocaml8
opam7
package-repository6
concurrency1
toolchain1
Programming languages (2)
Github contributions (5)
MarcPantel/ultralytics
Aug 2025 - Aug 2025
Ultralytics YOLO11 🚀
Contributions:1 push in 1 day
MarcPantel/EventBTool
Jul 2023 - Jul 2023
EVBT - an Event-B tool for code generation and documentation
Contributions:4 pushes in 8 days
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.