| Kevin Tierney
|
Affiliation: ITU
Enrolment Period: June 1, 2010 - May 31, 2013
Supervisor: Rune Møller Jensen
Research interests: Artificial intelligence, optimization
Degree prior to enrolment: Unknown
Planned external stay: Unknown
Contact: Website E-Mail
|
| Patrick Bahr
|
Affiliation: DIKU
Enrolment Period: Unknown
Supervisor: Fritz Henglein
Research Interests: automatic incrementalization of functional programs
with applications in enterprise systems within the 3gERP Project
(www.3gERP.org).
Degree prior to enrolment: Unknown
Planned external stay: Oxford University Computing Laboratory (2011)
Contact: Website E-Mail |
| Francesco Zanitti
|
Affiliation: ITU
Enrolment Period: 01.09.2009 - 31.08.2012
Supervisor: Arne Glenstrup
Research Interests: Context-aware systems and methodologies, Programming paradigms for parallel processing.
Degree prior to enrolment: B.Sc. Web and Multimedia Technologies , University of Udine (Italy) [2004], M.Sc. Information Technologies, University of Udine (Italy) [2008]
Planned external stay: Unknown
Contact: Website E-Mail |
| Nina Sofia Taslaman
|
Affiliation: ITU
Enrolment Period: 01.09.2009 - 31.08.2012
Supervisor: Thore Husfeldt
Research Interests: Exact algorithms, data structures and applied mathematics
Degree prior to enrolment: M.Sc. in Mathematics, Lund University, Sweden [2008]
Planned external stay: Unknown
Contact: Website E-mail
|
| Gian Perrone
|
Affiliation: ITU
Enrolment Period: 01.11.2009 - 31.11.2012
Supervisor: Thomas Hildebrandt and Arne Glenstrup
Research Interests: Domain-specific modeling languages, with
applications to context-aware systems
Degree prior to enrolment: B.Sc. (Hons) in Computer Science,
University of Waikato, New Zealand [2009]
Planned external stay: Unknown
Contact: Website E-Mail
|
| Alejandro Hernandez
|
Affiliation: DTU
Enrolment Period: 01.06.2009 - 31.05.2012
Supervisor: Flemming Nielson and Hanne Riis Nielson
Research Interests: Logics, Process algebras, Software Security, Software Engineering and Formal Methods in general
Degree prior to enrolment: Licenciate in Computer Science, Universidad Nacional de Rosario, Argentina [2005]
Planned external stay: Unknown
Contact: Email
|
| Fuyuan Zhang
|
Affiliation: DTU
Enrolment Period: 01.09.2009 - 31.08.2012
Supervisor: Flemming Nielson
Research Interests: Model Checking, Program Analysis
Degree prior to enrolment: M.Eng.in Computer Software, Shanghai Jiao Tong University[2008]
Planned external stay: Unknown
Contact: Email
|
| Piotr Filipuik
|
Affiliation: DTU
Enrolment Period: 01.08.2009 - 31.07.2012
Supervisor: Hanne Riis Nielson, Flemming Nielson
Research Interests: Model Checking, Static Analyis
Degree prior to enrolment: unknown
Planned external stay: Unknown
Contact: Email
|
| Sine Zambach
|
Affiliation: RUC
Enrolment Period: 03.12.2007 - 02.12.2010
Supervisor: Troels Andreasen
Research Interests: Bioinformatics including: Biomedical ontology modelling, formal relations in biomedical ontologies and microarray visualization.
Degree prior to enrolment: M.Sc. in Bio Informatics, Copenhagen University [2008]
Planned external stay: Stanford, CA/Buffalo, NY/Amsterdam/Copenhagen Business School [TBD]
Contact: Website E-Mail |
| Ole Torp Lassen |
Affiliation: RUC
Enrolment Period: 05.11.2007 - 14.11.2010
Supervisor: Henning Christiansen
Research Interests: Efficient probabilistic logic modelling and analysis, formal grammar formalisms, machine learning, optimization and approximation, Bio-informatics
Degree prior to enrolment: M.Sc. computer science, University of Copenhagen [2006]
Planned External stay: K.U.Leuven, Belgium / York, UK [2009]
Contact: Website E-Mail |
| Hannes Mehnert
|
Affiliation: ITU
Enrolment Period: 01.05.2010 - 30.04.2013
Supervisor: Peter Sestoft
Research Interests: Tools and Methods for Scalable Software
verification, Programming languages.
Degree prior to enrolment: Diplom in computer science, Technical
University Berlin, Germany [2009
Planned external stay: Unknown
Contact: Website E-mail
|
| Rasmus Fonseca
|
Affiliation: DIKU
Enrolment Period: 01.09.2009 - 31.08.2012
Supervisor: Pawel Winter
Research Interests: Conformational search and geometric algorithms within protein structure prediction
Degree prior to enrolment: M.Sc. in Computer Science, Copenhagen University [2009]
Planned external stay: University of California, Santa Cruz
Contact: Website E-mail
|
| Mai Ajspur |
Affiliation: RUC
Enrolment Period: 01.09.2009 - 31.08.2012
Supervisor: John Gallagher
Research Interests: Logic and artificial intelligence
Degree prior to enrolment: B.Sc. in Mathematics, Copenhagen University (2002), M.Sc. in IT, Media Technology and Games Technology, IT University (2007)
Planned External stay: Unknown
Contact: |
| Matthieu Quéva |
Affiliation: DTU
Enrolment Period: 01.03.2008 - 28.02.2011
Supervisors: Jens Clausen & Christian Probst
Research Interests: Constraint Solver technology, Product configuration, Static Analysis, Compiler theory and optimizations
Degree prior to enrolment: M.Sc. in Computer Systems Engineering, DTU [2007], Engineer Degree, Ecole Centrale de Lille (France) [2007]
Planned external stay: TBD
Contact: Website E-Mail |
| Tom Hvitved |
Affiliation: DIKU
Enrolment Period: 15.08.2007 - 14.08.2011
Supervisor: Fritz Henglein
Research Interests:
Degree prior to enrolment: B.Sc. computer science, University of Copenhagen [2006], M.Sc. Computer Science, University of Copenhagen [Expected 2009].
Planned External stay: TBD [2010]
Contact: Website E-Mail |
| Hugo Andrés López Acosta |
Affiliation: ITU
Enrolment Period: 01.02.2008 - 31.01.2012
Supervisor: Thomas Hildebrandt
Research Interests: Development of theoretical foundations (ie. concurrency theory, logics) in Service Oriented Computing and Business Process Management.
Degree prior to enrolment: Engineering degree in Computer Science, Pontificia Universidad Javeriana, Cali (Colombia) [2006]
Planned External stay: Queen Mary University, London, UK [2010]
Contact: Website E-Mail |
| Espen Højsgaard |
Affiliation: ITU
Enrolment Period: 01.09.07 - 31.07.11
Supervisor: Thomas Hildebrandt
Research Interests: Formal semantics of higher-order mobile business process execution languages and development of prototype execution engines
Degree prior to enrolment: B.Sc. computer science, Copenhagen University [2006]
Planned external stay: University of Edinburgh, Scotland [2009-2010] Contact: Website E-Mail |
| Raghava Rao Mukkamala |
Affiliation: ITU
Enrolment Period: 01.03.2009 - 28.2.2012
Supervisor: Thomas Hildebrandt
Research Interests:
Contact: Website E-Mail |
| Rasmus Resen Amossen |
Affiliation: ITU
Enrolment Period: 01.08.2007 - 31.05.2010
Supervisor: Rasmus Pagh
Research Interests:
Degree prior to enrolment: M.Sc. computer science, Copenhagen University [2005]
External stay: Yale, United States [2009]
Contact: Website E-Mail |
| Milan Ruzic |
Affiliation: ITU
Enrolment Period: 01.09.2005 - 31.08.2009
Supervisor: Rasmus Pagh
Research Interests: Algorithms and data structures
Degree prior to enrolment: Degree in computer science and mathematics, University of Belgrade [2005]
External stay: MIT, United States [2007]
Contact: Website E-Mail |
| Mette Gamst |
Affiliation: DTU
Enrolment Period: 01.09.07 - 31.08.2010
Supervisors: Brian Vinter and David Pisinger
Research Interests: Flow problems, scheduling problems, exact solution methods for large-scale combinatorial optimization problems, decomposition techniques.
Contact: Website E-Mail |
| Sebastien Vaucouleur |
Affiliation: ITU
Enrolment Period: 01.03.2006 - 28.02.2009
Supervisor: Peter Sestoft
Research Interests:
Contact: Website E-Mail |
| Rune Møllegård Friborg |
Affiliation: DIKU
Enrolment Period: 01.05.2008 - 30.04.2011
Supervisor: Brian Vinter
Research Interests:
Contact: Website E-Mail |
| Mads Ruben Burgdorff Kristensen |
Affiliation: DIKU
Enrolment Period: 01.06.2008 - 31.05.2012
Supervisor: Brian Vinter
Research Interests:
Contact: Website E-Mail |
| Laurent Flindt Muller |
Affiliation: DIKU
Enrolment Period: 01.04.2008 - 31.03.2011
Supervisor: Martin Zachariazen
Research Interests: Algorithmics, operations research, shortest paths problems and vehicle routing
Contact: Website E-Mail |
| Christian Wulff-Nielsen |
Affiliation: DIKU
Enrolment Period: 01.05.2007 - 30.04.2010
Supervisor: Martin Zachariasen
Research Interests: Metric and graph problems. Currently, I look at shortest path-related problems for planar graphs.
Degree prior to enrolment: M.Sc. in Computer Science, Copenhagen University [2006]
Planned external stay: Carleton University, Ottawa, Canada [2009], Université Libre de Bruxelles, Belgium [2009]
Contact: Website E-Mail |
| Ender Yuksel |
Affiliation: DTU
Enrolment Period: 01.09.2007 - 30.08.2010
Supervisors: Hanne Riis Nielson and Flemming Nielson
Research Interests: Wireless network security, static program analysis, probabilistic model checking.
Degree prior to enrolment: M.Sc. in Computer Engineering, Istanbul Technical University [2007]
External stay: Oxford University, UK [2008]
Contact: Website E-Mail |
| Fan Yang |
Affiliation: DTU
Enrolment Period: 01.06.2007 - 31.05.2010
Supervisors: Hanne Riis Nielson and Flemming Nielson
Research Interests: Program Analysis, Computer Security, Process Algebras, Aspect-Oriented Software Development
Degree prior to enrolment: MSc. Computer System Engineering, Technical University of Denmark, Denmark [2007]
External stay: University of Tokyo, Japan [2009]
Contact: Website E-Mail |
| Christian Theil Have |
Affiliation: RUC
Enrolment Period: 01-03-2009 - 01-03-2012
Supervisor: Henning Christiansen
Research Interests: Logic programming, logic-statistic modeling, grammar formalisms, natural language processing, constraints, machine learning, bioinformatics.
Contact: Website E-Mail |
| Michael Kirkedal Thomsen |
Affiliation: DIKU
Enrolment Period: 01-04-2009 - 01-03-2012
Supervisor: Robert Glück
Research Interests: Programming languages, reversible conputing, electronic circuits
Degree prior to enrolment: Cand. Scient. Datalogi, Copenhagen University [2009]
External stay: ELIS, University of Gent, Belgium [2010]
Contact: Website E-Mail |
| Lei Song
|
Affiliation: ITU
Enrolment Period: 01-04-2009 - 31-03-2012
Supervisor: Jens Christian Godskesen
Research Interests: Concurrency Theory, Distributed and Mobile Systems, Models for Wireless and Probabilistic Broadcasting
Contact: Website E-Mail |
| Nataliya Skrypnyuk |
Affiliation: DTU
Enrolment Period: 01.09.2007 - 31.08.2010
Supervisor: Flemming Nielson and Hanne Riis Nielson
Research Interests: Process algebras, static analysis, probabilistic model checking Degree prior to enrolment: M.Sc. Informatics, Technical University of Munich (TUM), Germany [2006]
External stay: Technical University of Munich [2007/08, 2008/09]
Contact: Website E-Mail |
| Afsaneh Doryab |
Affiliation: ITU
Enrolment Period: 01.08.2008 - 31.07.2011
Supervisor: Jakob Bardram
Research Interests: HCI, Pervasive computing, Software development, AI
Contact: Website E-Mail Degree prior to enrolment: M.Sc. in Computer Science, Copenhagen University [2006]
Planned external stay: University of Washington, US [2010] |
| Maxime Beauquier |
Affiliation: ITU
Enrolment Period: 01.03.2009 - 28.2.2012
Supervisors: Castern Schürmann and Thomas Hildebrandt
Research Interests: Logics, proof theory, type theory
Contact: Website E-Mail |
| Rolf-Helge Pfeiffer |
Affiliation: ITU
Enrolment Period: 01.04.2009 - 31.03.2013
Supervisor: Andrzej Wasowski
Research Interests: Model-Driven Software Development, Product-Line Software Engineering
Contact: Website E-Mail |
| Alexandre Buisse |
Affiliation: ITU
Enrolment Period: 01.09.2008 – 31.08.2011
Supervisor: Lars Birkedal
Research Interests: Programming languages semantics, deparation logic, Hoare Type theory, category and domain theory and photography
Degree prior to enrolment: Master Parisien de Recherche en Informatique (MPRI, Paris) [2008]
Planned external stay: TBD [2010]
Contact: Website E-Mail |
| Andrea Campagna |
Affiliation: ITU
Enrolment Period: 01.09.2008 - 31.08.2011
Supervisor: Rasmus Pagh Research Interests: Theoretical computer science, particularly in complexity and computability.
Contact: Website E-Mail |
| Martin Rehr |
Affiliation: DIKU
Enrolment Period: 01.09.2006 - 31.08.2010
Supervisor: Brian Vinter
Research Interests:
Contact: Website E-Mail |
| Anders Schack-Nielsen |
Affiliation: ITU
Enrolment Period: 01.02.2007 - 31.01.2011
Supervisor: Carsten Schürmann
Degree prior to enrolment: B.Sc. Math and Computer Science [2004], 1/2 M.Sc. in Computer Science [2006], University of Copenhagen
External stay: Carnegie Mellon University, USA [2009]
Contact: Website E-Mail |
| Jens Ulrik Hansen |
Affiliation: RUC
Enrolment Period: 01.02.2008 - 31.01.2011
Supervisor: Torben Braüner
Research Interests:
Degree prior to enrolment: M.Sc. in Mathematics, Copenhagen University [2007]
External stay: Logic, Language and Information at the University of Amsterdam [2008-09]
Contact: Website E-Mail |
| Dario Pacino |
Affiliation: ITU
Enrolment Period: 01.10.2008 - 31.09.2011
Supervisor: Rune Møller Jensen
Research Interests:
Contact: Website E-Mail |
| Jesper Andersen |
Affiliation: DIKU
Enrolment Period: 01.08.2006 - 31.11.2009
Supervisor: Julia Lawall
Research Interests:
Contact: Website E-Mail |
| Morten Ib Nielsen |
Affiliation: DIKU
Enrolment Period: 01.11.2006 - 31.10.2010
Supervisor: Fritz Henglein
Research Interests:
Contact: Website E-Mail |
| Holger Bock Axelsen |
Affiliation: DIKU
Enrolment Period: 01.05.2008 - 30.04.2011
Supervisor: Robert Glück
Research Interests:
Degree prior to enrolment: M.Sc. in Computer Science (Cand.scient i datalogi), DIKU, University
of Copenhagen [2007]
Planned External stay: University of Tokyo, Japan [2010]
Contact: Website E-Mail |
| Anders Starcke Henriksen |
Affiliation: DIKU
Enrolment Period: 01.07.2008 - 30.06.2011
Supervisor: Andrzej Filinski
Research Interests:
Degree prior to enrolment: M.Sc. computer science, Copenhagen University [2008]
Planned External stay: École Polytechnique, France [2009]
Contact: Website E-Mail |
| Lasse Nielsen |
Affiliation: DIKU
Enrolment Period: 01.08.2008 - 31.07.2011
Supervisor: Fritz Henglein
Research Interests:
Degree prior to enrolment: M.Sc. computer science, Copenhagen University [2008]
External stay: Imperial College and Queen Mary University, London UK [2009]
Contact: Website E-Mai |
| Jacob Junker Thamsborg |
Affiliation: ITU
Enrolment Period: 01.02.2007 - 31.01.2010
Supervisor: Lars Birkedal
Research Interests:
Contact: Website E-Mail |
| Michael Nissen |
Affiliation: DIKU
Enrolment Period: 01.01.2007 - 31.07.2012
Supervisor: Fritz Henglein
Research Interests:
Contact: Website E-Mail |
|
|
|
Events
<< September 2010 >>
| Mo | Tu | We | Th | Fr | Sa | Su |
|---|
| | | 1 | 2 | 3 | 4 | 5 |
| 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 |
| 27 | 28 | 29 | 30 | | | |
Other Events
 |
