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

Personal profile

External positions

President, Microservices Community

2019 → …

Research areas

  • Programming Languages And formal Models
  • Choreographic Programming
  • Session Types
  • Linear Logic
  • Type Systems
  • Process Calculi
  • Concurrency
  • Formal Methods
  • Compilers And Interpreters
  • Jolie
  • Distributed Systems
  • Cloud Computing
  • Edge Computing
  • Microservices
  • Cybersecurity
  • Security by design
  • Web Services
  • Network Protocols
  • Choreographies
  • Service Choreography
  • Reliable Protocol Implementations