Pascal Poizat
Professor Professeur Des Universités at Université Paris Nanterre
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolPascal Poizat is a university professor and researcher with over two decades of experience in software engineering, specializing in formal methods for distributed, component-based systems and behavioral descriptions such as service conversations and business processes. He leads research and teaching at Université Paris Nanterre, applying formal verification and automated composition techniques to practical domains like Web services (BPEL) and BPMN 2.0. His work spans design, verification, adaptation and testing, aiming to increase confidence in software through automation and tool support. Beyond research, he has significant academic leadership experience directing a MIAGE master’s program and serving as deputy head of a Mathematics and Computer Science department. Fluent in both theoretical foundations and real-world applicative frameworks, he bridges rigorous formalism with pragmatic system engineering.
12 years of coding experience
11 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Nantes UniversitéHabilitation thesis / Habilitation à diriger des recherches, Computer Science, Habilitation thesis / Habilitation à diriger des recherches, Computer Science at Université Paris Sud (Paris XI)
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (78)
bpmn10
tlaplus10
continuous-integration10
verification10
build-system10
java10
alloy10
keyboard9
xmi9
emacs9
vim9
model-checking9
modelio9
tla9
vscode-extension9
Programming languages (18)
Github contributions (5)
pascalpoizat/veca-haskell
Jan 2017 - Jul 2019
Contributions:5 releases, 7 PRs, 150 pushes in 2 years 6 months
architecturesverification
pascalpoizat/veca-ide
Jan 2018 - Oct 2019
:microscope: verification of component architectures (IDE plugin)
Contributions:4 releases, 2 PRs, 84 pushes in 1 year 8 months
architecturesmicroscopeide-pluginideverification
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.