|
Information
|
|
Research
- Position: From 1st August 2004 - 4th January 2009
I was a 4-year PhD student in the PLS group at the ITU
including 4½ months of paternity leave in April -
August 2007.
- Research
interests: Bigraphs
and process calculi for concurrency and mobility as well
as topological location models and systems: 1) The theory
of Bigraphs and its applications
to global
ubiquitous computing including modelling and
simulation; 2) type systems for Bigraphs and process
calculi; and 3) rigorous understanding
of geographical
information systems (GISs)
and business
process workflows.
- Peer-reviewed publications: Type Systems for
Bigraphs (TGC'08), Bigraphical Programming
Languages for Pervasive Computing (CTSB'06),
Bigraphical Models of Context-aware Systems
(FoSSaCS'06), and Compositional specification of
commercial contracts (STTT'06 journal,
ISoLA'04). Here
is a complete, detailed list of my publications with links
to the documents, conferences, and journals.
- Advisor: My advisor was
Professor Lars
Birkedal, and until August 2007
also Henning
Niss.
- Long-term research stay abroad: I visited
Prof. Davide
Sangiorgi at the University of Bologna
(Unibo)
for 4 months as a guest researcher in the period 20/10/2007 -
11/02/2008.
- Research project: I worked on
the Bigraphical
Programming Languages (BPL) project under
the Laboratory
for Context-Dependent Mobile Communication
(LaCoMoCo).
- Graduate school: I was member of
the FIRST research
school.
- Studies: Apart from the PhD degree I also hold a
M.Sc. degree from the ITU; my Master's thesis was written
at the ITU, but I completed approximately 1½ years
of M.Sc. level studies at DIKU, where I was a student in
the Theory and Practice of Programming Languages group
(TOPPS), which is now part of
the APL
group. I obtained my B.Sc. degree in computer science with
a minor subject in economics from DIKU.
|
|
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
- The "father" of Bigraphs
was Robin
Milner, Prof. Emeritus of Computer Science at the
University of Cambridge and
1991 Turing
Award winner, deceased in 2010. R.I.P. Robin.
- My wife Dagmar
Thomsen's home page.
- Children: My pride and joy, Isabella and Magnus.
- Chess: When in Denmark, I play chess
in Skakforeningen
ØBRO. Here is my
international FIDE
profile.
- Football: I like FC
København (FCK) of Copenhagen, and abroad I
follow AS
Roma, Manchester
United, Barcelona,
and Universidad de Chile
of Santiago.
- Whisky: I
enjoy single
malt whisky, in
particular Highland
Park. I have a whisky club with the gentlemen and doctors
Jakob Lemvig and Jesper Sandvig Mariegaard.
- I also enjoy tennis, music, books, and movies.
- I would be happy to provide my CV on request.
|
