Computer Science
Showing 151-200 of 888 Results
-
Rachel Cleaveland
Ph.D. Student in Computer Science, admitted Autumn 2021
BioI am a 5th-year PhD student at Stanford University, advised by Clark Barrett. My research focuses on applications of the theory of strings within symbolic execution as well as memory model verification.
-
Mateus Gheorghe De Castro Ribeiro
Ph.D. Student in Civil and Environmental Engineering, admitted Autumn 2022
Ph.D. Minor, Computer ScienceBioMateus Gheorghe de Castro Ribeiro is a PhD candidate in the Stanford Sustainable Systems Lab. He has worked on various topics at the intersection of engineering applications and artificial intelligence (AI). His main area of research focuses on AI applied to sustainable energy systems, specifically using data-driven methods to accelerate the electrification of bus fleets, ensure reliable operations with minimal costs, and achieve 24/7 carbon-free operations. Mateus obtained his bachelor's and master's degrees in mechanical engineering from the Federal University of Juiz de Fora and the Pontifical Catholic University of Rio de Janeiro, respectively. In 2022, he was awarded the CAPES/Fulbright Scholarship to pursue his PhD in the Department of Civil and Environmental Engineering at Stanford University.
