Jens Chr. Godskesen

Position:

Associate professor at the IT University of Copenhagen

Head of the Research Department.

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, Models for Wireless and Probabilistic Broadcasting Systems, Verification and Model Checking.

I'm a member of the MT-LAB Centre of Excellence

Recent publications:

Mobility Models and Behavioural Equivalence for Wireless Networks. Proceedings of 11th International Conference of Coordination Models and Languages (COORDINATION). Lisboa, Portugal, June 9-12, 2009. w. Sebastian Nanz, ETH Zurich

A Calculus for Mobile Ad-hoc Networks with Static Location Binding. Proceedings of the 15th International Workshop on Expressiveness in Concurrency, {EXPRESS} August 2008". Toronto, Canada.

Decidable Fragments of a Higher Order Calculus with Locations. Proceedings of the 15th International Workshop on Expressiveness in Concurrency, {EXPRESS} August 2008". Toronto, Canada. (w. Bjorn Haagensen and Hans Hüttel, Aalborg University, and Mikkel Bundgaard, ITU)

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. In Proceedings of the 7th International Workshop on Foundations of Coordination Languages and Software Architectures, {FOCLASA} July 2008. Reykjavik, Iceland. (w. Morten Kühnrich and Hans Hüttel, Aalborg University)

Modelling the security of smart cards by hard and soft types for higher-order mobile embedded resources.. In Proceedings of the 5th International Workshop on Security Issues in Concurrency (SecCo'07), Electronic Notes in Theoretical Computer Science. Elsevier, 2007. (w. Mikkel Bundgaard and Thomas Hildebrandt, ITU)

A Calculus for Mobile Ad Hoc Networks (Extended Abstract). In Proceedings of Coordination'07, June 2007, Paphos, Cyprus. Full version [pdf]