Department of Computer Science - Daimi Aarhus Universitet
Home |  Contact |  Research |  Courses |  Curriculum |  Library |  Local |  Search

 

Programming Languages and Formal Methods: PhD Students

Michael Achenbach

Kim Birkelund

Sebastian Erdweg

Christian Hofer

Simon Holm Jensen

Karl Klose

Anders Bach Nielsen

Janus Dam Nielsen

Tillmann Rendel

Mathias Schwarz

Jakob Grauenkjær Thomsen

Johnni Winter