| Ebbe Elsborg, PhD |
|
|
|
- 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.
- 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 the ITU (cand.it);
my Master's thesis was written at the 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.
My PhD dissertation.
- [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), volume
5474 of LNCS, Springer-Verlag, April 2009, pages 126-140. (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, March 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]).
- [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.)
- 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).
Latest update: 17th March 2010
