Doctoral Speaking Skills Talk - Isabel Suizo February 27, 2025 A First Look at Starlink’s Impact on Internet Access Equity
Doctoral Speaking Skills Talk - Sam Arch February 25, 2025 The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining
Faculty Members Named 2025 Sloan Research Fellows Tuesday, February 18, 2025 Two faculty members in Carnegie Mellon University's School of Computer Science will receive Sloan Research Fellowships in 2025. Zhihao Jia and Deepak Pathak are among the 126 early career researchers announced as fellows. More than a thousand researchers are nominated each year, and winners receive a two-year, $75,000 fellowship that can be used to advance their research. More
Student Bug Bounty Discovery Supports picoCTF’s Cybersecurity Education Efforts with $462,000 Gift Tuesday, January 7, 2025 Seunghyun Lee, a first-year Ph.D. student in Carnegie Mellon University’s Computer Science Department , was recently conducting some routine research on Google Chrome’s source code. Through his fuzzing research, Lee discovered a faulty implementation in Google Chrome's WebAssembly type system. Subtle design issues in the WebAssembly code, including optimizing compilers, facilitated a series of bugs that led to fragile sites that could easily be exploited. More
Enabling Developers to Write Provably Correct Software Monday, November 18, 2024 Computer code is the foundation of technology today. As software becomes an increasingly pervasive part of our lives, we need ways to ensure that critical software systems remain free of certain classes of defects and vulnerabilities. CSD professors Bryan Parno, Marijn Heule and Ruben Martins along with Jeremy Avigad, a professor in the philosophy department, are focusing on just that. More
