Gil Silva is a master’s student in Informatics at the Faculty of Sciences of the University of Lisbon and holds a bachelor’s in informatics from the University of the Azores. His current research focuses on programming languages and type systems that enable developers to write safe and reliable concurrent software. As a Visiting Student Researcher at Carnegie Mellon University, he will join a team designing a next-generation functional programming language to facilitate safe and efficient parallel programming.

Carnegie Mellon University

Grant duration: 6 months