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.

Founding member of the MT-LAB Centre of Excellence

Recent publications:

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks Theoretical Computer Science, IFIP Advances in Information and Communication Technology, Amsterdam, The Netherlands, September 2012. w. Lei Song, ITU

Bisimulations Meet PCTL Equivalences for Probabilistic Automata. CONCUR 2011, the 22nd International Conference on Concurrency Theory, Aachen, Germany, September 2011. w. Lei Song, ITU and Lijun Zhang, DTU, Copenhagen

Probabilistic mobility models for mobile and wireless networks. Theoretical Computer Science, IFIP Advances in Information and Communication Technology, Brisbane, Australia, September 2010. w. Lei Song, ITU

Observables for mobile and wireless broadcasting systems. Proceedings of 12th International Conference of Coordination Models and Languages (COORDINATION). Amsterdam, The Netherlands, June 2010.

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.

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

Complete list of publications

November, 2009