Ph DStudents

Hage
%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