You are here:
(12 Feb 2013,
%TOC% Below are listed all the !PhD students I have supervised. For the finished ones, I have included their final dissertation. ---++ Current ---+++ [[http://www.cs.uu.nl/staff/koot.html][Ruud Koot]] * Topic of investigation is higher-ranked polyvariance for type and effect systems. In other words, advanced static analysis for higher-order, polymorphic languages. ---+++ [[http://www.cs.uu.nl/staff/amir.html][Amir Saeidi]] * Works together with Ravi Khadka (see below) on service extraction from monolithic code bases. ---+++ [[http://www.cs.uu.nl/people/elyasov/][Alexander Elyasov]] * Supervision together with Wishnu Prasetya. Topic of investigation is log based testing. ---+++ [[http://www.cs.uu.nl/people/ravi/][Ravi Khadka]] * Supervision is mainly in the hands of Slinger Jansen. Topic of investigation is service extraction from monolithic code bases. ---++ Previous Here is a list of the !PhD students who did their work under my supervision. ---+++ [[http://www.cs.uu.nl/people/stefan/][Stefan Holdermans]] * Stefan Holdermans worked on type based static analysis. His thesis is not yet finished. ---+++ [[http://www.cs.uu.nl/people/bastiaan/][Dr. Bastiaan Heeren]] * Bastiaan Heeren has worked on improving type errors for higher-order functional languages. * The [[Top.WebHome][Top pages]] contain detailed information about the outcome of the research. -- Main.JurriaanHage - 09 Dec 2004
ore topic actions
Topic revision: r8 - 12 Feb 2013,
Supervised MSc Theses
Ph D Students
My other websites
Axiom of Choice
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?