Alban Ponse

Alban Ponse

Associate Professor

UvA Informatics Institute

Interests
  • process algebra
  • program and thread algebra
  • short-circuit logic