Visitors

Valeria de Paiva

Visiting from 06/08/2018 to 18/08/2018. Supported by CNPq.

Short bio

Valeria de Paiva is a is a mathematician and computer scientist based in Cupertino, CA.

She works at Nuance Communications AI and NLU Sunnyvale Lab. She worked as senior applied scientist at ReardenCommerce, Foster City, CA (2011-2012) and as a search analyst at Cuil, Inc. in Menlo Park, CA, May 2008-Sept 2010. Before that she was a research scientist at the Intelligent Systems Laboratory of Xerox PARC (Palo Alto Research Center), California (2000-2008). Even before that she was a Professor (American usage) at the School of Computer Science, the University of Birmingham, UK (1996-2000) and a research associate at the Computer Lab, University of Cambridge (1989-1995).

She received her PhD in Mathematics from Cambridge University in 1988 for work on "Dialectica Categories", under Martin Hyland's supervision, and has ever since worked on logical approaches to computation, especially using Category Theory. She's also an Honorary Research Fellow at the School of Computer Science, University of Birmingham, UK.

Narciso Martí-Oliet

Visiting from 31/07/2017 to 05/08/2017. Supported by CNPq. Previously Sept. - Oct. 2014.

Short bio

Dr. Narciso Martí-Oliet is a full professor in the Computer Science Department of Universidad Complutense de Madrid (UCM) in Madrid, Spain. He obtained his PhD in Mathematics-Computer Science in 1991 from UCM with a thesis supervised by J. Meseguer on the categorical semantics of linear logic and order-sorted algebra. His research took place from 1988 at the research center SRI International, in Menlo Park, CA, USA, where he was also a postdoctoral international fellow until his return to Madrid in 1994. In 1995 Marti-Oliet took a permanent position as an associate professor in the Computer Science Department of UCM. Since then his research has been focused on the subjects of declarative multiparadigm programming, and algebraic and logical methods for software specification, design and verification, and in particular on several aspects around the use of rewriting logic in such research areas. Marti Oliet currently leads the research group on Formal Analysis and Design of Software Systems (FADOSS) at UCM, where he has supervised four PhD theses. He is principal investigator of several projects of the Spanish Ministry for Science and Innovation and of the Madrid Regional Government, in collaboration with other research groups from Universidad Politecnica de Madrid and UCM. He is also a member of the international team led by J. Meseguer that designs and develops the language and system Maude, based on equational and rewriting logic. An important contribution has been the book "All About Maude, A High-Performance Logical Framework" published in 2007 in the Springer series Lecture Notes in Computer Science. Marti-Oliet has been a member of several program committees for international conferences, and has also organized conferences such as WRLA'04 on Rewriting Logic and its Applications in Barcelona, Spain, RULE'05 on Rule Based Programming in Nara, Japan, and WADT 2012 on Algebraic Development Techniques in Salamanca, Spain. Moreover, since 2008 he is the vicedean in charge of graduate studies at the Computer Science Department of UCM.