Jaap C.S.P. van der Woude

Jaap C.S.P. van der Woude is a University Lecturer in the Department of Mathematics and Computer Science at Eindhoven University of Technology. His research focuses on formal methods in computer science, including relational algebra applications, business process modeling, and system design. He has contributed to software development tools like the Ampersand system and explored theoretical foundations such as inductive set theory and Petri net components.

Research Contributions:

• Developed relational algebra-based approaches for practical software specifications
• Investigated subtyping in relational systems to enhance heterogeneity handling
• Explored educational methodologies for computing science curricula
• Formalized Petri net components for concurrency analysis

Notable Works: His 2011 conference contributions on Ampersand and relational subtyping represent key advancements in applying formal methods to real-world systems. Earlier work includes foundational studies in inductive sets (2004) and Petri net calculus (2001).

Advising & Supervision: Supervised 7 academic works though specific student names aren't documented here. His research spans both theoretical computer science and practical educational implementations.