Pierre Vandelaar
Eindhoven, North Brabant, Netherlands
Summary
👤
SeniorPiërre Van De Laar is a research fellow specializing in embedded systems, model-based testing, and systems-of-systems with over a decade of applied research experience stemming from a PhD in neural information processing (Radboud University). He spent eight years as a senior scientist at Philips Research before joining the Embedded Systems Institute / TNO, where he led and contributed to multidisciplinary projects improving evolvability, situation awareness, and rejuvenation of legacy software. His work spans architecture description languages, visualization and verification, and synthesis-based engineering, and has produced tools and artifacts such as TorXakis and Ada rejuvenation crates. Comfortable at the intersection of academia and industry, he has collaborated with partners including ASML, Thales, DaimlerChrysler and multiple Dutch universities to turn formal specifications into practical engineering outcomes. Notably, his background in theoretical/computational physics informs a rigorous, model-driven approach to complex system dependability and analysis.
10 years of coding experience
Github Skills (200)
graph-database10
servant10
command-line-tool10
model-based-testing10
neo4j10
mutation-testing10
modulo10
cypher10
graph-drawing10
graph10
directed-acyclic-graph10
neo4j-database10
theorem10
codemod10
symbol-table10
Programming languages (17)
Github contributions (5)
TNO/Rewriters-Ada
Apr 2022 - Dec 2022
Contributions:2 releases, 24 commits, 16 pushes in 8 months
TNO/Rejuvenation-Ada
Mar 2022 - Feb 2023
Analysis and manipulation of Ada software based on concrete syntax
Contributions:2 releases, 84 commits, 3 PRs in 10 months
manipulationadaconcreteanalysisconcrete-syntax
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.