Tim Willemse

MathSciNet


Ph.D. Technische Universiteit Eindhoven 2003 Netherlands
Dissertation: Semantics and verification in process algebras with data and timing

Advisor 1: Josephus Cornelis Maria Baeten
Advisor 2: Jan Friso Groote

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Gazda, MaciejTechnische Universiteit Eindhoven2016
Keiren, JeroenTechnische Universiteit Eindhoven20131
Neele, ThomasTechnische Universiteit Eindhoven2020
Noroozi, NedaTechnische Universiteit Eindhoven2014
Ploeger, Sebastiaan Cornelis WillemTechnische Universiteit Eindhoven2009
Tikhonova, UlyanaTechnische Universiteit Eindhoven2017

According to our current on-line database, Tim Willemse has 6 students and 7 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 98018 for the advisor ID.