Troels Damgaard
Who I am
I am a Ph.D. fellow in the Programming, Logic, and Semantics Group at the IT University of Copenhagen (ITU). I work under the supervision of Professor Lars Birkedal.
The Bigraphical Programming Languages project
I am attached to the Bigraphical Programming Languages project (the BPL project). The aim of this research project is to research the design of bigraphical programming languages, that is, programming languages based on the theory of bigraphs, for programming mobile distributed systems.
News
Slides for my Ph.D. defence
Here are the slides for my Ph.D. defence on my birthday - the 18th of September 2009.
Preprint of Ph.D. dissertation
Here's a preprint of my dissertation, as handed in December 2008. Or, you might just be interested in the abstract.
Talk on the PhD stay abroad
I gave a talk on planning your stay abroad as a PhD student. Here are the slides. If you have questions, or comments to add, mail me or you might consider participating in the discussion on my personal blog.
Seminar on bioinformatics
I'm arranging a seminar on modeling biological systems focusing on process algebras and agent-based methods. Head on over to the Wiki page to get more info and sign up!
Release of BPL tool (Dec '07)
We have released a first version of our prototype BPL tool for working with bigraph matching and reaction! Focus has been on producing a prototype based as closely on theory as possible (see papers below), not on efficiency. The web version utilises the rudimentary bigraph visualisation of the kernel (courtesy of Arne Glenstrup), and is available as BPLweb.
My research
My Ph.D. has focused on formal semantics and development of domain-specific languages and metalanguages - visual and term-based. I've worked on furthering the development of a concrete metalanguage, bigraphs, a rule-based framework (closely related to XML) for models and formal languages - with both a syntactical and visual representation. I've developed the theory for, and co-developed, a prototype bigraph tool. The tool has opened up for practical studies of languages for various domains, e.g.: In the CosmoBiz-project on business process languages for mobile and adaptive business processes; and, for developing a rule-based visual language for biological cells. See my papers and presentations for more details.
Interested in more info or in doing a project?
If you are interested in reading a bit more about bigraphs - you might be considering doing a project on something related to mobility, concurrency and/or programming languages, or you might just be interested in what a bigraph or a bigraphical reactive system is - a few years ago, I wrote a relatively short and light Introduction to the BPL research project.
Curriculum Vitae
I maintain a fairly concise curriculum vitae.
You can also take a look at my 
, which I try to keep fairly up-to-date.
Papers
-
"A Language for the Cell."
Damgaard, T. C., Danos, V., Krivine, J.
IT University of Copenhagen. TR-2008-116. December 2008. [pdf] -
"A Generic Language for Biological Systems based on Bigraphs."
Damgaard, T. C., Krivine, J.
IT University of Copenhagen. TR-2008-115. December 2008. [pdf] -
"An Implementation of Bigraph Matching."
Glenstrup, A. J., Damgaard, T. C., Birkedal, L., and Højsgaard, E..
Preprint submitted for publication. October 2007. [pdf] -
"An Inductive Characterization of Matching in Binding Bigraphs."
Damgaard, T. C., Glenstrup, A. J., Birkedal, L., and Milner, R..
Preprint submitted for publication. September 2007. [pdf] -
"Matching of Bigraphs."
Birkedal, L., Damgaard, T. C., Glenstrup, A. J. and Milner, R..
Electronic Notes in Theoretical Computer Science. 175 (4). July 2007. pp. 3-19. [doi] -
"Syntactic Theory for Bigraphs."
Damgaard, T. C..
IT University of Copenhagen. December 2006. [pdf] (Master's Thesis.) -
"Axiomatizing Binding Bigraphs."
Damgaard, T. C. and Birkedal, L..
Nordic Journal of Computing. 13 (1-2). 2006. pp. 58-77. [pdf] (See the errata.) -
"BDNF-Based Matching of Bigraphs."
Glenstrup, A. J., Damgaard, T. C., Birkedal, L. and Elsman, M..
IT University of Copenhagen. TR-2006-93. October 2006. [pdf] -
"Matching of Bigraphs."
Birkedal, L., Damgaard, T. C., Glenstrup, A. J. and Milner, R..
IT University of Copenhagen. TR-2006-88. June 2006. [pdf] -
"Bigraphical Programming Languages for Pervasive Computing."
Birkedal, L., Bundgaard, M., Damgaard, T. C., Debois, S., Elsborg, E., Glenstrup, A. J., Hildebrandt, T. T., Milner, R. and Niss, H..
Proceedings of Pervasive 2006 International Workshop on Combining Theory and Systems Building in Pervasive Computing. May 2006. pp. 653-658. [pdf] -
"Axiomatizing Binding Bigraphs (revised)."
Damgaard, T. C. and Birkedal, L..
IT University of Copenhagen. TR-2005-71. October 2005. [pdf] (This report supercedes TR-2005-63.) -
"Bigraphs by Example."
Debois, S. and Damgaard, T. C..
IT University of Copenhagen. TR-2005-61. October 2005. [pdf] -
"Note on Separately Matching Place and Link Graphs."
Damgaard, T. C. and Debois, S..
February 2005. [pdf] (Unpublished.) -
"Ant Routing System - a routing algorithm based on ant algorithms
applied to a simulated network."
Bundgaard, M., Damgaard, T. C., Decara F., and Winther, J. W..
IT University of Copenhagen, Spring 2002. [pdf]
For an online introduction, appendices and downloadable java-code, visit our homepage for the project: Ant Routing System.
Presentations
A somewhat incomplete set of slides, posters and presentations, I've made over the last few years.
-
"Developing Bigraphical Languages"
Damgaard, T. C..
Slides for my Ph.D defence at the ITU, DK, 18th of September 2009. [pdf] -
"On the stay abroad - an exercise in logistics and
networking"
Damgaard, T. C..
Slides for talk at the PhD intro day at the ITU, DK, 24th of October 2008. [pdf] -
"Designing a language for the cell"
Damgaard, T. C..
Poster presenting joint work with Krivine and Danos for FIRST event, Birkerød, April 2008. [png] -
"Syntax-based Theory and Implementation of Bigraphical Reactive Systems."
Damgaard, T. C..
Slides for talk at Cambridge, UK, 29th of January 2008. [pdf] -
"Bigraphical Molecular Systems - Adding Dynamics."
(Second part of joint talk with Jean Krivine.)
Damgaard, T. C..
Slides for talk at Cambridge, UK, 28th of January 2008. [pdf] -
"Syntax-based Theory and Implementation of Bigraphical Reactive Systems."
Damgaard, T. C..
Slides for talk at PPS, Paris, 11th of October 2007. [pdf] -
"Syntactic Theory for Bigraphs."
Damgaard, T. C..
Slides for talk at ENS, Paris, 4th of May 2007. [pdf] -
"Syntactic Theory for Bigraphs."
Damgaard, T. C..
Slides for talk at the DI, Pisa, 21st of May 2007. [pdf] -
"A Programming Language for Global Ubiquitous Computing."
Damgaard, T. C..
Poster presenting the BPL project for FIRST event, Copenhagen, February 2005. [png] -
"Bigraphical Programming Languages."
Damgaard, T. C. and Bundgaard, M..
Poster for presenting the BPL project, Copenhagen, March 2004. [pdf] -
"A Brief Introduction To Bigraphs"
Damgaard, T. C.., March 2004. [url]
Teaching
I've co-planned and taught courses in Interactive web applications and services with Java and XML (also in 2005), and in Functional Design and Programming, and supervised projects and assignments in these topics.
For the remainder of my Ph.D. (handing in ultimo 2008), I'm mostly available for projects related to the BPL project. Take a look at the BPL introduction and project suggestions or contact me, if you are interested in doing a project.
Contact
- ...Email address protected by javascript...
- Address
- Room 4C07
IT University of Copenhagen.
Rued Langgaardsvej 7
2300 Copenhagen S
Denmark - Phone
- (+45) 7218 5275
- Fax
- (+45) 7218 5001
