PhD Defences 2013

Joel Andrés Granados, 17 December 2013 at 1PM, AUD 2
Thesis: "Computer Aided Analysis And Collection Of Phenological Image Series"
Assessment committee:
Associate professor Dan Witzner Hansen, IT University of Copenhagen (Chairman)
Associate professor Andrew Richardson, Harvard University
Professor Hans Jørgen Andersen, Aalborg University
Supervisor:
Associate professor Philippe Bonnet

Jonas Brabrand Jensen, 17 December 2013 at 1 PM, AUD 3
Thesis: "Enabling Concise and Modular Specifications in Separation Logic"
Assessment committee:
Associate professor Rasmus Møgelberg, IT University of Copenhagen (Chairman)
Professor Philippa Gardner, Imperial College London
Doctor Matthew Parkinson, Microsoft Resewarch, Cambridgebr /> Supervisor:
Professor Lars Birkedal

Sebastian Martin Möring, 13 December 2013 at 1PM, AUD 1
Thesis: "Games and Metaphor - A critical analysis of the metaphor discourse in game studies"
Assessment committee:
Associate professor Miguel Sicart, IT University of Copenhagen (Chairman)
Professor Clau Piasn, Leuphana University
Senior Researcher Ziva Ben Porat, Tel Aviv University
Supervisor:
Associate professor Espen Aarseth

Diako Mardanbegi, 3 December 2013 at 1 PM, AUD 1
Thesis: "Head-Mounted Gaze Trackers for Controlling the Environment"
Assessment committee:
Associate professor Julian Togelius, IT University of Copenhagen (Chairman)
Professor Jeff Pelz, University of Rochester
Doctor Andreas Bülling, Max Planck Institute of Informatics
Supervisor:
Doctor Dan Witzner Hansen

Fabrizio Montesi, 29 November 2013 at 1PM, AUD 1
Thesis: "Choreographic Programming"
Assessment committee:
Professor Peter Sestoft, IT University of Copenhagen (Chairman)
Professor Luís Caires, Universidade Nova de Lisboa
Researcher Ilaria Castellani, INRIA Sophie Antipolis
Supervisor:
Associate professor Marco Carbone

Troels Fibæk Bertel, 22 November 2013 at 2PM, AUD 4
Thesis: "Mobile Communication in the Age of Smartphones"
Assessment committee:
Associate professor Stine Gotved, IT University of Copenhagen (Chairman)
Associate professor Scott Campbell, University of Michigan
Senior researcher Leslie Haddon, Department of Media and Communication
Supervisor:
Professor Richard Ling

Hannes Mehnert, 11 October 2013 at 1PM, AUD 1
Thesis: "Incremental Interactive Verification of the Correctness of Object-Oriented Software"
Assessment committee:
Professor Joe Kiniry, Technical University of Denmark (Chairman)
Assistant professor Bart Jacobs, KU Leuven
Associate professor Marieke Huisman, University of Twente
Supervisor:
Professor Peter Sestoft

Alberto Delgado Ortegon, 24 September 2013 at 12:15 PM, AUD 1
Thesis: To be published
Assessment committee:
Associate professor Thomas Hildebrandt, ITU (Chairman)
Professor Anna Schiomachen, University of Genova
Associate professor Thomas Stidsen, Technical University of Denmark
Supervisor:
Associate professor Rune Møller Jensen

Kevin Tierney, 29 August 2013 at 1PM, 4A-16
Thesis: "Optimizing Liner Shipping Fleet Repositioning Plans"
Assessment committee:
Professor Joe Kiniry, ITU (Chairman)
Professor Sylvie Thiébaux, The Australian National University
Professor MSO Stefan Røpke, Technical University of Denmark
Supervisor:
Associate professor Rune Møller Jensen

Naja Liengård Holten Møler, 21 June 2013 at 1PM, AUD 2
Thesis: "Diagnosing the Uncertain - A CSCW perspective on initial diagnostic work"
Assessment committee:
Associate professor Brit Ross Winthereik, ITU
Professor Kjeld Schmidt, Copenhagen Business School
Professor Gunnar Ellingsen, University of Tromsø
Supervisor:
Associate professor Pernille Bjørn

Rolf-Helge Pfeiffer, 6 June 2013 at 1PM, AUD 2
Thesis: "Multi-language Development Environments - Design Space, Models, Prototypes, Experiences"
Assessment committee:
Associate professor Claus Brabrand, ITU (Chairman)
Prof. Emeritus Jean Bézivin, University of Nantes
Prof. of Enterprise Systems France Richard Paige, University of York
Supervisor:
Associate professor Andrzej Wasowski

Neelanarayanan Venkataram, 29 May 2013 at 1PM, AUD 3
Thesis: "The Mini-Grid Framework: Application Programming Support for Ad hoc Volunteer Grids"
Assessment committee:
Associate professor Rune M. Jensen, ITU (Chairman)
Dr. Adrian Friday, Lancaster University
Associate Professor, Henrik Bærbak Christensen, University of Aarhus
Supervisor:
Professor Jakob Bardram

Kostas Pantazos, 16 April 2013 at 1PM, AUD 2
Thesis: "Custom Visualization without Real Programming"
Assessment committee:
Associate Professor Thomas Hildebrandt, ITU (Chairman)
Professor Dr. Andreas Kerren, Växjö University
Head of Department Peter Henrik Carstensen, The Alexandra Institute
Supervisor:
Professor Søren Lauesen

Hector Perez Martines, 8 April 2013 at 1PM, 2A-14
Thesis: "Advancing Affect Modeling via Preference Learning and Unsupervised Feature Extraction" (contact phdsupport@itu.dk for a copy of the thesis)
Assessment committee:
Associate professor Julian Togelius, ITU (Chairman)
Professor Andrea Bonarini, Politecnico di Milano
Associate professor Dr. Regan Mandryk, University of Saskatchewan
Supervisor:
Associate professor Georgios Yannakakis

Tobias Mahlmann, 8 March 2013 at 1PM, 5A-60
Thesis: "Modeling and Generating Strategy Games Mechanics"
Assessment committee:
Associate professor Dan Witzner Hansen, IT University of Copenhagen (Chairman)
Reader Simon Colton, Imperial College London
Professor Simon Lucas, University of Essex
Supervisor:
Associate professor Georgios Yannakakis

Noor Shaker, 7 March 2013 at 1PM, 5A-60
Thesis: "Towards Player-Driven Procedural Content Generation"
Assessment committee:
Associate professor Thomas Pederson, IT University of Copenhagen (Chairman)
Professor John Hallam, University of Southern Denmark
Professor Simon Lucas, Essex University
Supervisor:
Associate professor Georgios Yannakakis

Christina Neumayer, 1 March 2013 at 1PM, room 5A-60
Thesis: "When neo-Nazis march and anti-fascicts demonstrate"
Assessment committee:
Associate professor Lisbeth Klastrup, IT University of Copenhagen (chair)
Professor Peter Dahlgren, University of Sweden
Associate professor Bart Cammaerts, London School of Economics
Supervisor:
Associate professor Gitte Stald

Gian David Perrone, 18 February 2013 at 12 PM, room 5A-60
Thesis: "Domain-specific Modelling Languages in Bigraphs"
Assessment committee:
Associate professor Marco Carbone, IT University of Copenhagen (chair)
CNRS Researcher Jean Krivine, Universite Paris Diderot
Associate professor Marino Miculan, University of Udine
Supervisor:
Associate professor Thomas Hildebrandt

Antonia Walford, 11 February
Thesis: "Transforming Data: An Ethnography of Scientific Data from the Brazilian Amazon"
Assessment committee:
Associate professor PhD Christopher Gad, IT University of Copenhagen (Chairman)
Professor PhD Geoffrey Bowker, University of California
Lecturer PhD Matei Candea, Durham University
Supervisor:
Associate professor Casper Bruun Jensen

Kasper Svendsen, 4 February 2013 at 1PM, AUD 1
Thesis: "Modular specification and vertification for higher-order languages with state"
Assessment committee:
Professor Peter Sestoft, IT University of Copenhagen (Chairman)
Professor Philippa Gardner, Imperial College
Senior Researcher Nick Benton, Microft Research
Supervisor:
Professor Lars Birkedal

Mohammad Amin Kuhail, 11 January 2013 at 1PM, AUD 2
Thesis: "Custom Formula-Based Visualizations for Savvy Designers"
Assessment committee:
Associate professor Thomas Hildebrandt, IT University of Copenhagen (Chairman)
Associate professor Kasper Hornbæk, University of Copenhagen
Professor Heidi Schumann, University of Rostock
Supervisor:
Professor Søren Lauesen

Shangjin Xu, 9 January 2013 at 1PM, AUD 2
Thesis: "VisTool: A user interface and visualization development system"
Assessment committee:
Associate professor Thomas Hildebrandt, IT University of Copenhagen (Chairman)
Associate professor Kasper Hornbæk, University of Copenhagen
Stéphane Conversy, Toulouse University
Supervisor:
Professor Søren Lauesen