Lasse Nielsen ny PhD fra DIKU – Københavns Universitet

Datalogisk Institut, DIKU > Nyheder > DIKU-nyheder 2012 > Lasse Nielsen ny PhD f...

01. februar 2012

Lasse Nielsen ny PhD fra DIKU

Lasse Nielsen forsvarede 1. februar 2012 sin ph.d.-afhandling med titlen: "Regular Expressions and Multiparty Session Types with Applications to Workflow Based Verification of User Interfaces".

DIKU ønsker Lasse tillykke med ph.d.-graden.

Se stemningsbilleder fra forsvaret.

   
   
   

Lektor Ken Friis Larsen bød velkommen og introducerede bedømmelseseskomiteen samt vejledere.

Assessment committee:

Chairman: Associate Professor Andrzej Filinski, Department of Computer Science, University of Copenhagen, Denmark
Professor Dexter Kozen, Cornell University, Department of Computer Science, USA
Professor Jakob Rehof, Technische Universität Dortmund, Fraunhofer-Institut für Software- und Systemtechnik ISST, Germany

Academic supervisors:

Professor Fritz Henglein, Department of Computer Science, University of Copenhagen, Denmark
Associate Professor Thomas Hildebrandt, IT University of Copenhagen, Denmark