Jens Chr. Godskesen

Position:

Associate professor at the Department of Theoretical Computer Science at the IT University of Copenhagen

Member of the Concurrency and Mobility (CoMo) group at ITU.

CV.

Address:

Jens Chr. Godskesen

The IT University of Copenhagen

Rued Langgaards Vej 7

DK-2300 Copenhagen S.

Denmark

Phone: +45 7218 5276

Fax: +45 7218 5001

Email: jcg (at) itu (dot) dk

Research interests: Models for Concurrent, Distributed and Mobile Systems, Verification and Model Checking, Testing and Embedded Systems.

Recent publications:

Extending {Howe's} method to early bisimulations for typed mobile embedded resources with local names.. To appear in Proceedings of FSTTCS 2005, Hyderabad, India, December 2005. (w. Thomas Hildebrandt, IT U of Copenhagen, Denmark.)

An CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. In Proceedings of the 11th International Workshop on Expressiveness in Concurrency (Express), volume 128 of Electronic Notes in Theoretical Computer Science, pages 131--150. Springer--Verlag, April 2005. (w. Thomas Hildebrandt and Mikkel Bundgaard, IT U of Copenhagen, Denmark.)

Connectivity Testing. In Formal Methods in System Design, 25(1):5-38, July 2004.

Connectivity Testing through Model-Checking. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), September 2004, Madrid, Spain. (w. Brian Nielsen and Arne Skou, CISS, Aalborg University, Denmark.)

Copyability Types for Mobile Computing Resources. International Workshop on Formal Methods and Security, , May 2003, Nanjing, China. (w. Thomas Hildebrandt, IT U of Copenhagen, Denmark.)

A calculus of mobile resources. CONCUR, 2002. (w. Thomas Hildebrandt, IT U of Copenhagen, Denmark; and Vladimiro Sassone, U Sussex, UK.)

Courses at ITU Fall 2005:

Process and Data Modeling.

Introduction to Programming - Concepts and Tools.

Publications: