Douvk Webring

  1. Bruno da Rocha Paiva

  2. PhD researcher
  3. Dependent types and effects
  4. Supervised by Vincent Rahli and Martín Escardó
  5. University of Birmingham
  1. Research
  2. Teaching
  3. Contact
Selfie of me with pretty Irish nature in the background