HomePeopleAlexandra Silva Title: Professor Department: Computer Science Website: Professor Silva's webpage Research areas: category theory, logic, semantics, and verification
