The Concurrency and Mobility Group @ ITU - Student Section
Welcome to the student section of the homepage of the Concurrency and Mobility (CoMo) group at the IT University of Copenhagen. Below we give pointers to relevant courses, describe possible project proposals.
Relevant Courses
- Modeling and Design, Fall 2007
- Avancerede mobile og distribuerede systemer, Fall 2007
- Process and Data Modelling, Spring 2007
- Model-based Design of Distributed and Mobile Systems, Spring 2004, Spring 2005
- Distributed Systems, Fall 2004
- Peer-to-Peer Storage Systems, Spring 2004
- Concurrent Systems, at DTU (Technical University of Denmark) Fall 2004
Proposals for Student Projects and Master Theses
Concurrent Tuple Space in Java
Suggested size: 4-Week Project; workload: 30% theoretical/70% practical.
You are expected to implement a highly concurrent Linda Tuple Space in Java using the new concurrency package in Java 1.5, and, if time allows, extend the implementation to several machines.
Comparison of Calculi for Concurrent and Mobile Systems
Suggested size: 4-Week Project; workload: 70% theoretical/30% practical.
You are expected to do a theoretical comparison of some of the following calculi for concurrent and mobile systems: KLAIM, Join-Calculus, Mobile Ambients, Pi-calculus, etc.
Supervisors
Thomas Hildebrandt (TH)
I'm an associate professor at ITU in the
Programming, Logic, and Semantics group. My research interests include
semantics and programming languages, category theory and logic in
computer science, concurrency theory, verification and model checking,
mobility, and resource-constrained embedded systems.
Web: http://www.itu.dk/people/hilde/
Jens Chr. Godskesen (JCG)
I'm an associate professor at ITU in the
Computational Logic and Algorithms (CLA) group.. My research interests
are automatic test generation, fault models, embedded systems, caculi
for mobility and concurrency, verification, and model checking.
Web: http://www.itu.dk/people/jcg/
Mikkel Bundgaard (MB)
I am a PostDoc at ITU in the Programming,
Logic, and Semantics group (since 2007, and prior to that I took my
master degree and PhD degree at ITU). My research interest are calculi
and models for mobility and concurrency, and high-level programming
languages for concurrent and mobile systems.
Web: http://www.itu.dk/people/mikkelbu/
List of selected previous projects
- Jacob W. Winther - ReactiveXML. MSc Thesis
- Jakob Jenkov, Lars Bjørn Jensen, and Toke Johansen - Intersection - a shortcut to advanced thread synchronisation (In danish). 4 week project
- Mikkel Bundgaard and Jacob W. Winther - Bisimulation in Copyable Mobile Resources. 4 week project
|
|
|
|
last updated November 2007
|