Marco Kick

University of Edinburgh
Division of Informatics
Laboratory for the Foundations of Computer Science

Picture of me

Postal Address:
Marco Kick
Room 1414
James Clerk Maxwell Building
The King's Buildings
Mayfield Road
Edinburgh EH9 3JZ

++44 131/650-5168
++44 131/667-7209

Personal Information

I am a PhD student at the LFCS, working on a project called "The structure of Programming Languages: Syntax and Semantics", supervised by Gordon Plotkin and Daniele Turi. More specifically, I am investigating how to apply categorical operational semantics to (languages for) timed processes.

I am originally from Waldthurn in Bavaria/Germany. Between November 1993 and August 1999, I studied computer science (major) and mathematics (minor) at the Faculty of Mathematics and Informatics of the University of Passau, including a 9-month stay at the University of Edinburgh, from October 1997 to June 1998.

Research Interests


Other Interests

(Maybe not so) obviously, there is more to know about me apart from my research in computer science. Some of these things can be found on my personal page which is quite out of date now (although a lot of it is still true!).

Valid HTML
	  4.01! Marco Kick, < >