|
| | Rasmus Andersen |
Affiliation: DIKU
Enrolment Period: 01.02.2006 - 31.01.2009
Supervisor: Brian Vinter
Research Interests:
Contact: Website E-Mail | | | Ebbe Elsborg |
Affiliation: ITU
Enrolment Period: 01.08.2004 - 04.01.2009
Supervisor: Lars Birkedal
Research Interests:
Contact: Website E-Mail | | | Troels Damgaard |
Affiliation: ITU
Enrolment Period: 01.08.2004 - 11.12.2008
Supervisor: Lars Birkedal
Research Interests:
Contact: Website E-Mail | | | Esben Rune Hansen
|
Affiliation: ITU
Enrolment Period: 15.8.2005 - 14.8.2008
Supervisor: Henrik Reif Andersen
Research Interests:
Contact: Website E-Mail | | | Anders Hessellund |
Affiliation: ITU
Enrolment Period: 01.11.2005 - 14.11.2008
Supervisor: Peter Sestoft
Research Interests:
Contact: Website E-Mail | | | Glennie Helles |
Affiliation: DIKU
Enrolment Period: 01.12.2005 - 31.11.2008
Supervisor: Martin Zachariasen
Research Interests:
Contact: Website E-Mail | | | Martin Leopold |
Affiliation: DIKU
Enrolment Period: 01.01.2005 - 31.12.2007
Supervisor: Philippe Bonnet
Research Interests:
Contact: Website E-Mail | | | Martin Paluszewski |
Affiliation: DIKU
Enrolment Period: 01.06.2005 - 31.05.2008
Supervisor: Pawel Winter
Research Interests:
Contact: Website E-Mail | | | Simon Spoorendonk |
Affiliation: DIKU
Enrolment Period: 01.11.2005 - 31.10.2008
Supervisor: David Pisinger
Research Interests:
Contact: Website E-Mail | | | Peter Tiedemann |
Affiliation: ITU
Enrolment Period: 15.08.2005 - 14.08.2008
Supervisor: Henrik Reif Andersen
Research Interests:
Contact: Website E-Mail | | | Noah Torp-Smith |
Affiliation: ITU
Enrolment Period: 01.08.2001 - 31.07.2005
Supervisor: Lars Birkedal
Research Interests: Separation Logic
Contact: E-Mail | | | Stefan Røpke |
Affiliation: DIKU
Enrolment Period: 01.11.2002 - 31.10.2005
Supervisor: David Pisinger
Research Interests:
Contact: E-Mail | | | Jesper Blak Møller |
Affiliation: ITU
Enrolment Period: ? - 31.04.2002
Supervisor: Henrik Reif Andersen
Research Interests: Symbolic Model Checking of Real-Time Systems using Difference Decision Diagrams
Contact: E-Mail | | | Signe Ellegård Borch |
Affiliation: ITU
Enrolment Period: 15.02.2003 - 10.04.2008
Supervisor: Yvonne Dittrich | | | Bodil Biering |
Affiliation: ITU
Enrolment Period: 09.08.2004 - 05.04.2008
Supervisor: Carsten Butz | | | Christoffer Hall-Frederiksen |
Affiliation: DIKU
Enrolment Period: 01.06.2003 - 31.05.2007
Supervisors: Eric Jul and Philippe Bonnet | | | Benny Kjær Nielsen |
Affiliation: DIKU
Enrolment Period: 01.11.2004 - 31.10.2007
Supervisor: Martin Zachariasen | | | Christian Stefansen |
Affiliation: DIKU
Enrolment Period: 01.07.2003 - 30.06.2007
Supervisor: Fritz Henglein | | | Jens Egeblad |
Affiliation: DIKU
Enrolment Period: 01.06.2004 - 31.05.2007
Supervisor: David Pisinger | | | Sathiamoorthy Subbarayan |
Affiliation: ITU
Enrolment Period: 01.02.2005 - ??.??.2008
Supervisor: Henrik Reif Andersen | | | Mette Jaquet |
Affiliation: ITU
Enrolment Period: 01.09.2004 - 29.02.2008
Supervisor: Kasper Østerbye | | | Søren Debois |
Affiliation: ITU
Enrolment Period: 01.08.2004 - 31.07.2008
Supervisors: Lars Birkedal and Thomas Hildebrandt | | | Tarik Hadzic |
Affiliation: ITU
Enrolment Period: 01.10.2003 - 30.09.2007
Supervisor: Henrik Reif Andersen | | | Rasmus Lerchedahl Petersen |
Affiliation: ITU
Enrolment Period: 01.09.2003 - 31.08.2007
Supervisor: Lars Birkedal | | | Mikkel Bundgaard |
Affiliation: ITU
Enrolment Period: 01.08.2003 - 31.07.2007
Supervisor: Thomas Hildebrandt | | | Philip Bille |
Affiliation: ITU
Enrolment Period: 01.08.2002 - 31.08.2007
Supervisors: Anna Östlin & Rasmus Pagh | | | Nina Bohr |
Affiliation: ITU
Enrolment Period: 01.11.2002 - 30.06.2007
Supervisor: Lars Birkedal | | | Jacob Gorm Hansen |
Affiliation: DIKU
Enrolment Period: 01.11.2003 - 31.10.2006
Supervisor: Eric Jul | | | Christian Worm Mortensen |
Affiliation: ITU
Enrolment Period: 01.02.2002 - 12.12.2005
Supervisors: Anna Östlin and Rasmus Pagh | | | Jakob Grue Simonsen |
Affiliation: DIKU
Enrolment Period: 01.05.2002 - 31.04.2005
Supervisor: Klaus Grue | | | Andrzej Wasowski |
Affiliation: ITU
Enrolment Period: 01.08.2001 - 20.02.2005
Supervisor: Peter Sestoft | | | Rasmus Ejlers Møgelberg |
Affiliation: ITU
Enrolment Period: 01.02.2002 - 31.01.2005
Supervisor: Lars Birkedal | | | Inge Li Gørtz |
Affiliation: ITU
Enrolment Period: 01.07.2000 - 08.04.2005
Supervisors: Anna Östlin and Rasmus Pagh | | | Mikkel Mühldorff Sigurd |
Affiliation: DIKU
Enrolment Period: 01.02.2001 - 31.01.2004
Supervisor: David Pisinger | | | Niels Henning Christensen |
Affiliation: DIKU
Enrolment Period: 01.07.2000 - 30.07.2003
Supervisor: Neil Jones | | | Henning Makholm |
Affiliation: DIKU
Enrolment Period: 01.06.2000 - 31.05.2003
Supervisor: Neil Jones | | | Inge Li Gørtz |
Affiliation: ?
Enrolment Period: ??.??.???? - ??.??.????
Supervisor: ?
Contact: E-Mail |
|
