Valeria de Paiva is a mathematician and computer scientist working at Rearden Commerce, Foster City, California, USA. She received her PhD in Mathematics from Cambridge University for work on “Dialectica Categories”, and has ever since worked on logical approaches to computation, especially using Category Theory.
| - | : | University of Birmingham |