Mikkel Bundgaard

Mikkel Bundgaard

I am a PostDoc in the Progamming, Logic, and Semantics group (PLS) at the IT University of Copenhagen. I am also a member of the FIRST Graduate School, the Concurrency and Mobility Group at ITU, and the National Teaching Network for Model-Based Design for Concurrency (supported by it-vest, networking universities).

Curriculum Vitae

My Curriculum Vitae (Danish version). You can also take a look at my View Mikkel Bundgaard's profile on LinkedIn.

News

In my spare time I have begun to upgrade my software development competences by (among other) learning Java Script (see the Code snippets subpage for more information) and Ruby, and by listening to the software engineering podcast and the Java Posse podcast while biking to and from work and soccer.

Create the Bibliography on Bigraphs which is meant to be a complete Bibliography on papers on Bigraphs.

Research Interests

Research interests include (but are not limited to): (higher-order) calculi and models for mobility and concurrency, high-level programming languages for mobile and distributed systems, and verification and model checking.

Background

I've got a bachelor degree in computer science from the University of Roskilde, a Master of Science in Information Technology (Internet and Software Technology) from the IT University of Copenhagen, and a PhD in theoretical computer science from the IT University of Copenhagen.

Publications

See the publication page for the full list of publications, abstracts, and slides for some of the papers.

Mikkel Bundgaard and Robin Milner. Unfolding CSP. In Reflections on the Work of C.A.R. Hoare. Springer. 2010. PDF.

Mikkel Bundgaard. Semantics of Higher-Order Mobile Embedded Resources and Local Names. PhD thesis. IT University of Copenhagen, 2007. PDF.

Thomas Hildebrandt, Arne John Glenstrup, Mikkel Bundgaard, Espen Højsgaard, Tim Hallwyl, Tijs Slaats, Magnus Nilsson, and Kjeld Schmidt. Computer Supported Mobile Adaptive Business Processes for 3gERP Systems. In 2nd Workshop on 3rd Generation Enterprise Resource Planning Systems. 2008.

Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, and Hans Hüttel. Decidable Fragments of a Higher Order Calculus with Locations. In Proceedings of Express'08, volume 242(1) of ENTCS, pages 113-138. Elsevier, 2008.

Mikkel Bundgaard, Thomas Hildebrandt, and Espen Højsgaard. Seamlessly Distributed & Mobile Workflow. In Proceedings of PLACES'08. 2008. PDF.

Mikkel Bundgaard, Jens Chr. Godskesen, and Thomas Hildebrandt. On Encoding the Pi-calculus in Higher-Order Calculi. Technical Report TR-2008-106, IT University of Copenhagen, 2008. PDF.

Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Højsgaard, and Henning Niss. Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs. In Proceedings of Coordination'08, volume 5052 of LNCS, pages 83-99. Springer Verlag, 2008. PDF.

Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Højsgaard, and Henning Niss. Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool. Technical Report TR-2008-103, IT University of Copenhagen, 2008. PDF.

Mikkel Bundgaard, Thomas Hildebrandt, and Jens Chr. Godskesen. Modelling the security of smart cards by hard and soft types for higher-order mobile embedded resources. In Proceedings of SecCo'07, volume 194(1) of ENTCS, pages 23-38. Elsevier, 2007. PDF.

Mikkel Bundgaard, Thomas Hildebrandt, and Jens Chr. Godskesen. Typing Linear and Non-Linear Higher-Order Mobile Embedded Resources with Local Names. Technical Report TR-2007-97, IT University of Copenhagen, 2007. PDF.

Mikkel Bundgaard and Vladimiro Sassone. Typed Polyadic Pi-calculus in Bigraphs. In Proceedings of PPDP'06, pages 1-12. ACM Press, 2006. PDF.

Mikkel Bundgaard and Thomas Hildebrandt. Bigraphical Semantics of Higher-order Mobile Embedded Resources with Local Names. Technical Report TR-2005-70, IT University of Copenhagen, 2005. PDF.

Mikkel Bundgaard and Thomas Hildebrandt. Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. In Proceedings of GT-VC'05, volume 154(2) of ENTCS, pages 7-29. Elsevier, 2006. PDF.

Mikkel Bundgaard, Thomas Hildebrandt, and Jens Chr. Godskesen. A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. Theoretical Computer Science, 356(3):422-439, 2006. PDF.

Mikkel Bundgaard, Thomas Hildebrandt, and Jens Chr. Godskesen. A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. In Proceedings of EXPRESS'04, volume 128(2) of ENTCS, pages 131-150. Elsevier, 2005. PDF.

Thomas Hildebrandt, Jens Chr. Godskesen, and Mikkel Bundgaard. Bisimulation Congruences for Homer --- a Calculus of Higher Order Mobile Embedded Resources. Technical Report TR-2004-52, ITU University of Copenhagen, 2004. PDF.

Contact information

Room 3C 14, The IT University of Copenhagen.
Rued Langgaards Vej 7, 2300 Copenhagen S, Denmark.
Tel: +45 7218 5273. Fax: +45 7218 5001.
Email: mikkelbu -at- itu -dot- dk

Note: Just updated the homepage. Wait for more information :)

Subpages

Valid XHTML 1.1 Valid CSS! eXTReMe Tracker