Marco Kick
University of
Edinburgh
Division
of Informatics
Laboratory
for the Foundations of Computer Science
- Postal Address:
- Marco Kick
Room 1414
James Clerk Maxwell Building
The King's Buildings
Mayfield Road
Edinburgh EH9 3JZ
-
- Phone:
- ++44 131/650-5168
- Fax:
- ++44 131/667-7209
- Email:
- M.Kick@sms.ed.ac.uk
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
- Category Theory
- Semantics of programming languages
- Process Calculi, in particular such ones including real-time
features
- Algebra
- Logic, also (Algebraic) Model Theory as a connecting point
of Algebra and Logic
- Topos Theory (although I have to say that this is one of
those things I do not know much about but would like to
learn)
Publications
-
Rule Formats for Timed
Processes, in Proc. CMCIM'02, Electronic
Notes in Theoratical Computer Science, volume
68.1, 2002
-
Bialgebraic Modelling of Timed
Processes, in Proc. ICALP'02,
Lecture
Notes in Computer Science, volume 2380, © Springer-Verlag
-
Modelling Synchrony and Asynchrony with Multiple
Clocks, Diplomarbeit (Diploma thesis), University of
Passau 1999, available on request
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!).
Marco Kick, < mk@dcs.ed.ac.uk >