Christiaan (Chris) Verhoef
Original record- Institution
- Universiteit van Amsterdam
- Year
- 1992
- Country
- Netherlands
- MGP identifier
- 156177
Dissertation: Linear unary operators in process algebra
Mathematics Subject Classification: 08—General algebraic systems
Advisor 1
- Johannes (Jan) Aldert BergstraUniversiteit Utrecht · 1976
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Guus Delen | Universiteit van Amsterdam | 2005 | 0 |
| Laurenz Eveleens | Vrije Universiteit Amsterdam | 2011 | 0 |
| Dharmalingam Ganesan | Vrije Universiteit Amsterdam | 2012 | 0 |
| Rene Krikhaar | Universiteit van Amsterdam | 1999 | 1 |
| Erald Kulk | Vrije Universiteit Amsterdam | 2009 | 0 |
| Łukasz Kwiatkowski | Vrije Universiteit Amsterdam | 2012 | 0 |
| Christoph Hermann Störmer | Vrije Universiteit Amsterdam | 2007 | 0 |
| Pieter van der Spek | Vrije Universiteit Amsterdam | 2010 | 0 |
| Niels Veerman | Vrije Universiteit Amsterdam | 2007 | 0 |
| Vadim Zaytsev | Vrije Universiteit Amsterdam | 2010 | 0 |