|
Research Projects and Publications:
Upcoming events:
- International Workshop on Petri Nets and Software Engineering (PNSE'12) (PC member) - satellite event of the 33rd International Conference on
Application and Theory of Petri Nets and Concurrency
and the
12th International Conference on
Application of Concurrency to System Design, Hamburg, Germany, June 2012
- First Workshop on Modelling and Reasoning for Cyber-Physical SystemsJuly 3, 2012, Technical University of Denmark
Kgs. Lyngby, Denmark
- 10th International Conference on Business Process Management, September 3-6, 2012, Tallinn, Estonia (PC Member)
Past events in 2008- 2012:
- Videnarbejde - proces og digitalisering: Kan videnarbejdet lægges i proces og digitaliseres?, VidenDanmark, January 25, 2012 (invited speaker, in danish)
- Software
Verification and Testing Track at the 27th ACM Symposium On
Applied Computing, Riva del Garda (Trento), Italy, March 26-30,
2012 (paper)
- 4th International Workshop on Foundations of Interface
Technologies (FIT 2012), Satellite Workshop at ETAPS 2012
Tallinn, Estonia, March 25, 2012 (paper)
- 9th International Conference on
Software Engineering and Formal Methods
November 14-18, 2011
Montevideo, Uruguay (paper)
- 23rd Nordic Workshop
on Programming Theory (NWPT'11), October 26th - 28th, 2011 (short papers)
- The Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, Málaga, Spain, September 22-23, 2011 (invited speaker)
- The First International Symposium on
Foundations of Health Information Engineering and Systems, 29-30 August 2011 Johannesburg, South Africa
- The Fifteenth IEEE International EDOC Conference, 29th August - 2nd September 2011, Helsinki, Finland (paper)
- Fundamentals of Software Engineering
April 20-22, 2011
Tehran, Iran
(paper)
- MFPS 26, Twenty-sixth Conference on the
Mathematical Foundations of
Programming Semantics,
University of Ottawa,
Ottawa, Ontario, Canada
May 6 - 10, 2010 (PC member)
- SAC 2010, 25th Symposium On Applied Computing, March 22-26, 2010, Sierre, Switzerland
- GT-VMT 2010, 9th International Workshop on Graph Transformation
and Visual Modeling Techniques,March 20-21 2010, Paphos, Cyprus. (PC Member)
- Birth of Rebekka, Copenhagen, Denmark, 9:40am, October 9th, 2009. (Father :-)
- CONCUR 2009, Bologna, Italy, September 1-4, 2009. (PC member)
- 25th International Conference on Logic Programming
(ICLP 2009), PASADENA, CALIFORNIA, USA, Junly 14-17, 2009.
- DMC 2009. The 7th International Workshop on Distributed and Mobile Collaboration
- PETRI NETS 2009. Paris, France, June 22-26th, 2009.
- ORGMOD 2009,
International Workshop on Organizational Modeling
Paris, France, June 22/23, 2009. (PC Member)
- COORDINATION 2009. Lisbon, Portugal, June 8-12th, 2009. (PC Member)
- ICECCS 2009
14th IEEE International Conference on Engineering of Complex Computer Systems, Potsdam, Germany, June 2-4, 2009. (PC Member)
- Games for Logic and Programming Languages IV (Workshop affiliated with
ETAPS 2009), 28-29 March 2009, York, United Kingdom
- Programming Language Approaches to Concurrency and Communication-cEntric Software (Workshop affiliated with
ETAPS 2009), 22 March 2009, York, United Kingdom
- 2nd Workshop on 3rd Generation Enterprise Resource Planning Systems. November 17-18, 2008, Copenhagen Business School
- 4th Symposium on Trustworthy Global Computing 2008 (TGC 2008). November 3-4, 2008, Barcelona, Spain
- CPN'08
Ninth Workshop and Tutorial on Practical Use of
Coloured Petri Nets and CPN Tools.
October 20-22, 2008.
University of Aarhus, Denmark
- ProHealth '08 (affiliated with BPM 2008), Milan, September 1st-4th, 2008
- DDBP 2008 (affiliated to EDOC 2008), München, September, 2008
- CONCUR 2008 and EXPRESS'08, Toronto, August 19th-23rd, 2008
-
1st Interaction and Concurrency Experience (ICE'08), Synchronous and Asynchronous Interactions in Concurrent Distributed Systems, Satellite workshop of ICALP 2008, 6th of July 2008, Reykjavik, Iceland
-
10th international conference on Coordination Models and Languages (Coordination'08) - Presentation of CosmoBiz/TrustCare/BPL paper
-
PLACES'08 - Programming Language Approaches to Concurrency
and Communication-cEntric Software.
June 7, 2008, Oslo, Norway - Presentation of CosmoBiz/TrustCare position paper
-
First Workshop on Web Services, Business Processes and Infrastructure, Imperial College, London, February 7-8, 2008
Current PhD students: I am currently supervising Tijs Slaats (Industrial PhD at Exformatics),
Espen Højsgaard
(CosmoBiz project, thesis handed in),
Hugo A. Lopez
(co-financed by Resultmaker A/S)
and Raghava Rao Mukkamala (TrustCare), Francesco Zanitti (Jingling Genies), Gian Perrone (Jingling Genies), and co-supervising Maxime Beauquier (TrustCare) and Lasse Nielsen (DIKU, TrustCare, thesis handed in)
Past PhD students:
Mikkel Bundgaard
,
Søren Debois (BPL project, co-supervised with L. Birkedal),
Karen Marie Lyng (DIKU, co-financed by Resultmaker A/S),
Courses at ITU, Fall 2011: Mobile and Distributed Systems
Past Courses at ITU (2005-2009):
Project cluster: Second Year Project and Mobile and Distributed Systems, Distributed Systems and Protocols (B.Sc. course), Distributed Systems and Protocols, Modelling and Design, Process and Data
Modelling (Spring 2007),
XML-processing -
methods, tools and theories (Spring 2006), Location Based Mobile Applications, Process and Data
Modelling (introductory) , Introductory Programming (course responsible)
Process and Data
Modelling (introductory)
Model-based Design of
Distributed and Mobile Systems (advanced), XML-processing -
methods, tools and theories, Location Based Mobile
Applications.
See current activities at ITU in the ITU
activity
calendar.
|
