Thomas T. Hildebrandt

(Curriculum Vitae, February, 2013, Profile at Google scholar including publications, citations and H-index.)

Associate Professor, IT University of Copenhagen (ITU).

Head of the Process and System Models (Models) research group.

Research areas: Semantics, logic and models for concurrent, distributed and mobile communicating processes. Applications of formal models in process- and service-oriented information systems, in particular business process execution and workflow management. Video Interview on characteristics of research at IT University of Copenhagen. "Research the foundations - but ask yourself if your research can create new value." (in danish)

Research Projects and Publications:

• Profile at Google scholar including publications, citations and H-index.
• Context-Sensitive Services Developed in Global Collaboration Project (Jingling Genies), 2009-2013. Jingling Genies Publications
• Trustworthy Pervasive Healthcare Processes (TrustCare), 2008-2012. TrustCare Publications
• Computer Supported Mobile Adaptive Business Processes (CosmoBiz), 2007-2011. CosmoBiz Publications
• Bigraphical Programming Languages (BPL), 2004-2008. Bibliography on Bigraphs
• Bigraph Research and Tools at bigraph.org.
• Mobile Security

Upcoming events:

• PNSE'13, International Workshop on Petri Nets and Software Engineering, Milano, Italy, June 24-25, 2013, a satellite event of Petri Nets 2013 (PC Member)
• 11th International Conference on Business Process Management, August 26-30, 2013, Beijing, China (PC Member)
• 2nd International Workshop on Data and Artifact-Centric Business Process Management (DAB 2013), August 26, Beijing, China (PC Member)
• 10th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing, August 29-30, Beijing, China (PC Member)
• Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, Monday, August 26, 2013 Buenos Aires, Argentina. Affiliated with CONCUR 2013. (PC Member)

Past events in 2008- 2013:

• 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)Rome, Italy, March 23th, 2013, affiliated to ETAPS 2013 (PC Member)
• Foundations of Aspect-Oriented Languages Workshop (FOAL 2013), Fukuoka, Japan, March 26, 2013 (Paper),
• 3rd International Workshop on Bigraphs(Bigraph 2013), Copenhagen, Denmark, February 16th, 2013 (Chair)
• Temadag om Digital Forvaltning i et strategisk perspektiv, Vejle 26. Oktober 2012, Vejle (Keynote speaker, in danish)
• Get F´IT - Forbedrede finansielle processer med Business Process Management?, 25 September, 2012, Finanssektorens Hus, København K, (Keynote speaker, in danish)
• 10th International Conference on Business Process Management, September 3-6, 2012, Tallinn, Estonia (PC Member)
• Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2012), 19 September, Bertinoro, Italy (PC Member, Invited Presentation)
• 11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012), September 8th, 2012, Newcastle upon Tyne, UK (PC Member)
• 2nd International Symposium on Fundations of Health Information Engineering and Systems (FHIES 2012), August 27-28, 2012, Paris, France (Paper)
• 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
• 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), Francesco Zanitti (Jingling Genies, on leave)

Past PhD students: Gian Perrone (Jingling Genies), Maxime Beauquier (TrustCare, co-supervised with Carsten Schurmann), Espen Højsgaard (CosmoBiz project), Hugo A. Lopez (co-financed by Resultmaker A/S), Raghava Rao Mukkamala (TrustCare), Lasse Nielsen (DIKU, TrustCare, co-supervised with F. Henglein, DIKU), Mikkel Bundgaard , Søren Debois (BPL project, co-supervised with L. Birkedal), Karen Marie Lyng (DIKU, co-financed by Resultmaker A/S and co-supervised with F. Kensing),

Courses at ITU, Spring 2013 IT and Business Process Modelling 2013

Past Courses at ITU (2005-20012): Mobile and Distributed Systems Fall 2012, Advanced Mobile and Distributed Systems Seminar Fall 2012, IT and Business Process Modelling 2012 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.