Context-free session types and an algorithm to decide type equivalence
When: Thursday, July 18th, 16h
Andreia Mordido is an Invited Assistant Professor at the Department of Informatics of the Faculty of Sciences, University of Lisbon, and a researcher at LASIGE. She received the Ph.D. degree in Information Security from IST in 2017, the M.Sc. degree in Mathematics and Applications also from IST in 2011, and her degree in Mathematics from FCT/UNL in 2009. Her main research interests include logic, probabilistic reasoning, probabilistic satisfiability, and type theory.