A blog post by Valeria de Paiva reflecting on the past four years of the Topos Institute, highlighting milestones, personal and research experiences, and the institute's mission-driven goals.
Dr Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, computer scientist, and computational linguist known for introducing the concept of dialectica spaces, which model linear logic in advanced programming languages. She has contributed significantly to natural language processing (NLP) and works at the Topos Institute in Berkeley, California. De Paiva is committed to encouraging more women into STEM fields and is actively involved in Women In Logic (WIL).
