Gil Silva, a LASIGE MSc student, completed a six-month internship at Carnegie Mellon University (CMU) in Pittsburgh from October 2023 to April 2024, where he studied applications of mathematical logic to concurrency and data layout in programming languages.