Bron: Herman Geuvers

Current PhD students Rehama Baguma Topic: E-government web Design Framework for Improved Accessibility for Users with Disabilities. Supervisor: Patrick van Bommel Start date: October 1 2006. Funded by: Benedict Oyo Topic: A Decision Support Tool for Quality Assurance Management in Higher Education Supervisors: Erik Barendsen Start date: October 1 2006 Funded by: NUFFIC Jasper Berendsen Topic: Incremental Analysis of Fault-Tolerant Real-Time Algorithms Supervisors: Frits Vaandrager and Jozef Hooman Start date: March 1 2006. Funded by: NWO FRAAI-project Tom Claassen Topic: Causal Modeling with Bayesian Networks Supervisor: Tom Heskes Start date: January 1, 2005 Funded by: External PhD student Sietse Overbeek Topic: Personal Digital Work Space Supervisor: Erik Proper, Daan Rijsenbrij Start date: 01-01-2006 Funded by: External PhD student Auke van Bremen Topic: Peirce's theory of interpretants and the possibility of (self)control in conceptualization Supervisor: Theo van der Weide, Janos Sarbo Start date: 1/1/2006 Funded by: External PhD student Lukasz Chmielewski Topic: Software Security and cryptographic protocols Supervisor: Jaap-Henk Hoepman Start date: 1/11/2005 Funded by: STW Sentinels JASON P. Bremen Topic: ?? Supervisor: ?? Start/End date: 1-9-2005 -- 1-9-2009 Funded by: Marie-Curie B. van den Broek Topic: ?? Supervisor: ?? Start/End date: 1-5-2005 -- 1-5-2009 Funded by: STW T. v. Grootel Topic: ?? Supervisor: ?? Start/End date: ?? Funded by: NWO-VICI Cezary Kaliszyk Topic: Formalization of mathematics and computer algebra systems Supervisor: Freek Wiedijk Start date: 1-8-2005 Funded by: NWO Maaike de Vrijer Topic: ?? Supervisor: ?? Start/End date: 1-3-2005 -- 1/3-2009 Funded by: NICI/FNWI (0.8/0.2) Chris Heunen Topic:Categorical quantum logic Supervisor: Bart Jacobs and Klaas Landsman Start date: August 15, 2005 Funded by: NWO Pionier (Bart Jacobs) and NWO Pionier (Klaas Landsman) John Ngubiri Topic: Job Scheduling in multi-cluster systems Supervisor: Mario van Vliet Start date: End 2004 Funded by: NUFFIC Josephine Nabukenya Topic: Collaborative Modelling Supervisor: Erik Proper Start date: End 2004 Funded by: NUFFIC Steve Djajasaputra Topic: Artificial Intelligence for Time-series Prediction Supervisor: Tom Heskes Start date: 01-12-2004 Funded by: STW Ibrahim Kaliisa Topic: Trust , Privacy and Identity management over web systems Supervisor: Martijn Oostdijk Start date: End 2004 Funded by: Nuffic I. Klaver Topic: ?? Supervisor: ?? Start/End date: 1-2-2004 -- 1-2-2006 Funded by: FNWI Russell O'Connor Topic: Formalizing real number computation Supervisor: Bas Spitters Start date: 2004 Funded by: ICIS Ichiro Hasuo Topic: Correctness and Security of Systems via Categorical Methods Supervisor: Bart Jacobs Start date: April 15 2004 Funded by: NWO Pionier Marcel Verhoef Topic: Performance Analysis of Embedded Systems. Supervisor: Jozef Hooman Start date: ?? Funded by: ?? Wolter Pieters Topic: Program Securty and Correctness Supervisor: Erik Poll Start date: 1-9-2003 Funded by: NWO Pionier R. Vingerhoets Topic: ?? Supervisor: ?? Start/End date: 1-11-2003 -- 1-11-2007 Funded by: NICI/FNWI (0.8/0.2) M. Zeitler Topic: ?? Supervisor: ?? Start/End date: 1-9-2003 -- 1-9-2008 Funded by: NWO-ALW J. Mooij Topic: ?? Supervisor: ?? Start/End date: 1-9-2003 -- 1-9-2006 Funded by: STW Rasa Jurgelenaite Topic: Timebayes Supervisor: Peter Lucas Start date: 1-9-2003 Funded by: NWO Ling Cheung Title: Reconciling Nondeterministic and Probabilistic Choices Supervisor: Frits Vaandrager Start date: 1-9-2003 Funded by: ICIS Flavio Garcia Topic: Secure and Fault tolerant procol design Supervisor: Jaap Henk Hoepman Start date: 15-8-2003 Funded by: NWO Pionier Lars Frantzen Topic: Complex data testing Supervisor: Jan Tretmans Start date: 1-5-2003 Funded by: NWO K. Albers Topic: ?? Supervisor: ?? Start/End date: 1-3-2003 -- 1-3-2007 Funded by: STW Ildiko Flesch Topic: Bayesian Networks Supervisor: Peter Lucas Start date: 2003 Funded by: NWO/ProBayes Arjen Hommersom Topic: Formalisation and verification of medical guidelines Supervisor: Peter Lucas Start date: 2003 Funded by: Protocure II (EU IST) Lionel Mamane Topic: Interactive Mathematical Documents Supervisor: Herman Geuvers Start date: 16-11-2003 Funded by: NWO, Mowgli (EU-IST) and Spinoza Marcel van Gerven Topic: Bayesian networks in medicine Supervisor: Peter Lucas Start date: 1-4-2003 Funded by: NWO/token2000 Arjen van Weelden Topic: Strongly Typed Functional Operating System Issues Supervisor: Rinus Plasmeijer Start date: 1-4-2003 Funded by: ICIS Biniam Gebremichael Tesfagiorgis Title: Expressivity of Timed Automata Models Supervisor: Frits Vaandrager Start date: 15-3-2003 Funded by: ICIS Iris Loeb Topic: Natural Deduction: Presentation and Representation Supervisor: Herman Geuvers Start date: 1-2-2003 Funded by: Mowgli (EU-IST) and Spinoza Jan Matthijs Schoffelen Topic: ?? Supervisor: ?? Start/End date: 1-12-2002 -- 16-9-2006 Funded by: FNWI tbv FC Donders M. Kusters Topic: ?? Supervisor: ?? Start/End date: 1-9-2002 -- 31-8-2006 Funded by: NWO-ALW-FOM Marcus Bauer Topic: ?? Supervisor: ?? Start/End date: 16-2-2002 -- 16-2-2006 Funded by: FNWI tbv FC Donders Paul de Vrieze Topic: User Modelling Supervisor: Patrick van Bommel Start date: 1-4-2002 Funded by: Océ Bas van Gils Topic: Profile Based retrieval of Networked Information resources Supervisor: Erik Proper Start date: 1-3-2002 Funded by: NWO Martijn Hendriks Title: Model Checking Timed Automata Supervisor: Frits Vaandrager Start date: 16-02-2002 Funded by: EU project ESPRIT-LTR project IST 2001-35304 (AMETIST) Martijn Warnier Topic: Security Analysis for Multi-Applet Smart Cards (SAMASC) Supervisor: Martijn Oostdijk Start date: 01-02-2002 Funded by: NWO Cees-Bart Breunesse Topic: Specification and Verification of JavaCard smart card applets Supervisor: Erik Poll Start date: 1-11-2000 Funded by: EU Adriaan de Groot Title: Practical Automaton Proofs in PVS Supervisors: Frits Vaandrager and Jozef Hooman Start date: 1-10-2000 Funded by: NWO Onno Zoeter Topic: ?? Supervisor: ?? Start/End date: 1-1-2000 -- 28-2-2006 Funded by: FNWI Maarten de Mol Topic: Supervisor: Rinus Plasmeijer and Marko van Eekelen Start date: 1-8-1998 Funded by: ICIS Joachim van den Berg Topic: Formal reasoning about JAVA Supervisor: Bart Jacobs Start date: 1-5-1998 Funded by: ICIS Back to the main PhD page.