Ebbe Elsborg, PhD

News

• I successfully defended my PhD dissertation (which is downloadable from this page) on Monday 16 March 2009. I can be reached at ebbe.elsborg at gmail dot com.

Background

• Position: From 1 August 2004 through 4 January 2009 I was a 4-year PhD student in the Programming, Logic, and Semantics group (PLS) at the IT University of Copenhagen (ITU). (I took 4.5 months of paternity leave in the summer of 2007.)
• Research interests: Bigraphs and process calculi for concurrency and mobility; 1) the theory of Bigraphs and its applications to global ubiquitous computing, and 2) type systems for Bigraphs and process calculi.
• Advisor: My advisor was Professor Lars Birkedal, and until August 2007 also Henning Niss who is no longer with the ITU.
• Long-term research stay abroad: I visited Prof. Davide Sangiorgi at the University of Bologna (Unibo), 20 October 2007 - 11 February 2008.
• Research project: I worked on the Bigraphical Programming Languages (BPL) research project under the Laboratory for Context-Dependent Mobile Communication (LaCoMoCo).
• Graduate school: I was member of the FIRST research school.
• Studies: I hold a M.Sc. degree from ITU (cand.it); my Master's thesis was written at ITU, but I completed 1.5 years of master of science level studies at the Department of Computer Science (DIKU) at the University of Copenhagen (KU), where I was a student in the theory and practice of programming languages research group (TOPPS). I obtained my B.Sc. degree in computer science with a minor in economics from DIKU.

Dissertation

My PhD dissertation.

Publications

• [C5] Type Systems for Bigraphs. [PDF] [ps.gz] [BibTeX]
  Ebbe Elsborg, Thomas Hildebrandt, and Davide Sangiorgi.
  In Proceedings of the 4th International Symposium on Trustworthy Global Computing (TGC'08). LNCS, Springer-Verlag, 2009. To appear. (Full version containing full proofs is available as [T5].)
• [J1] Compositional specification of commercial contracts. [PDF] [BibTeX]
  Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, and Christian Stefansen.
  International Journal on Software Tools for Technology Transfer (STTT), 8(6):485-516, November 2006. Special Section on Leveraging Applications of Formal Methods.
• [W3] Bigraphical Programming Languages for Pervasive Computing. [PDF] [ps.gz] [BibTeX]
  Mikkel Bundgaard, Lars Birkedal, Søren Debois, Ebbe Elsborg, Arne John Glenstrup, Thomas Hildebrandt, Troels C. Damgaard, Robin Milner, Henning Niss.
  In Pervasive 2006 Workshop Proceedings -- The 1st International Workshop on Combining Theory and Systems Building in Pervasive Computing (CTSB'06), pages 653-658, 2006. Position paper.
• [C2] Bigraphical Models of Context-aware Systems. [PDF] [ps.gz] [BibTeX]
  Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt, and Henning Niss.
  In Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS'06), volume 3921 of LNCS, Springer-Verlag, 2006, pages 187-201. (Extended version containing proofs and examples is available as [T2].)
• [C1] Compositional specification of commercial contracts. [PDF] [ps.gz] [BibTeX]
  Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, and Christian Stefansen.
  In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04), pages 103-110. University of Cyprus Report TR-2004-6. (Superseded by [J1]).

Technical reports

• [T5] Type Systems for Bigraphs. [PDF] [ps.gz] [BibTeX]
  Ebbe Elsborg, Thomas Hildebrandt, and Davide Sangiorgi.
  Technical Report 110, IT University of Copenhagen, October 2008. ISBN: 9788779491847. (Full version of [C5] containing full proofs.)
• [T4] Bigraphical Location Models. [PDF] [ps.gz] [BibTeX]
  Ebbe Elsborg.
  Technical Report 79, IT University of Copenhagen, September 2006. ISBN: 87-7949-138-3. A revised version of my qualification report (which counts as my Master's thesis).
• [T2] Bigraphical Models of Context-aware Systems. [PDF] [ps.gz] [BibTeX]
  Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt, and Henning Niss.
  Technical Report 74, IT University of Copenhagen, November 2005. ISBN: 87-7949-110-3. (Extended version of [C2] containing proofs and examples.)

Teaching

• Autumn 2006: Cosupervision of a Master's thesis.
• Spring 2006: Responsible for the Java on Mobile Devices project cluster (2 lectures). Project and thesis (co)supervision (5 projects, 1 Master's thesis).
• Autumn 2005: 1 triple lecture in the mini course Programming Context-aware Mobile Phones. Project and theses (co)supervision mainly within J2ME and Bluetooth (7 projects, 1 Master's thesis, 1 Diploma thesis).
• Spring 2005: 5 double lectures in the course Java on Mobile Devices (JMA). Project and thesis cosupervision mainly within J2ME and Bluetooth (9 projects, 1 Master's thesis).
• Autumn 2004: Project cosupervision within J2ME and Bluetooth (2 projects).

Miscellaneous

• My wife Dagmar Catarina Hernandez Thomsen's home page.
• When in Denmark, I play chess in ØBRO Chess Association. Here is my Danish DSU profile (reasonably updated), and my international FIDE profile.
• A photo of me at Foro Romano in Rome (Summer of 2002).
• A photo of my then 17 months old daughter Isabella, May 2008.

Latest update: 20 January 2010