Flip van Spaendonck
Researcher · Model-Driven Engineering
Eindhoven University of TechnologyAbout
Flip van Spaendonck is a Researcher at the School of Mathematics and Computer Science at Eindhoven University of Technology. His work focuses on Model-Driven Engineering, Model-Based Testing, and Mutual Exclusion Protocols, with a particular emphasis on improving State Space Generation and Conformance Relations.
Recent research outputs include contributions to formal verification techniques, parallel computing frameworks, and term library design. Key subfields of interest span
- Mutual Exclusion Protocols
- Model Checking
- Parallel Systems
- Context-Free Grammars
- Boolean Equations
- Code Transformation
Publications highlight collaborations with J.F. Groote, M. Laveaux, and T.A.C. Willemse, addressing challenges in parallel model checking and state space optimization. No scientific awards or student advising details are explicitly mentioned in the provided data.
Find Flip van Spaendonck elsewhere
Related Searches
You Might Also Like
Tim WillemseEindhoven University of Technology · Associate Professor
Tim A.C. WillemseEindhoven University of Technology · Associate Professor
Jan Friso GrooteEindhoven University of Technology · Professor
Anton J. WijsEindhoven University of Technology · Associate Professor- MMarcel EbbinghausAlbert Ludwig University of Freiburg · Researcher
- DDavid N. JansenEindhoven University of Technology · Researcher