Thomas Hildebrandt

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile


My research is in Formal process models and semantics for concurrent, distributed and mobile systems, and their strategic applications to the development of new process languages and technologies for trustworthy, process- and service-oriented information systems, involving both computers, humans and their surrounding context. (Flyer from 2013 presenting my research and projects.)

My specifically, my research contributes to:

  • Process languages and techniques for the development of workflow and business process management systems supporting flexible, adaptive, distributed and mobile processes.
  • Meta-modelling techniques for concurrent, mobile and context-aware processes.
  • Foundational reasoning techniques for higher-order mobile computing processes.


More informationincluding CV.


  • Process Models
  • Concurrency Theory
  • Adaptability


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or