Latest News Enabling Developers to Write Provably Correct Software by Krista Burns | 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. Read More Watermarked LLMs Offer Benefits, but Leading Strategies Come With Tradeoffs by Charlotte Hu | Thursday, November 14, 2024 A new study from Carnegie Mellon University School of Computer Science researchers looks at the tradeoffs of some of the most popular techniques used to watermark content generated by LLMs and offers strategies to mitigate against their shortcomings. Read More Two SCS Professors Receive Samsung Researcher of the Year Awards by Marylee Williams | Monday, November 11, 2024 Carnegie Mellon University faculty members Aviral Kumar and Jun-Yan Zhu have been named 2024 Samsung AI Researchers of the Year. The award, which includes $30,000 in prize money, recognizes promising researchers who have made outstanding contributions to the field of artificial intelligence. Read More SCS Professor Recognized as Distinguished Alumnus by Marylee Williams | Monday, November 4, 2024 Nihar Shah, an associate professor in the School of Computer Science's Computer Science and Machine Learning Departments, received an inaugural alumni award from the Indian Institute of Science (IISc). The IISc, a premier research university in Bengaluru, recognizes notable alumni who have made significant contributions in their fields of study, society and more. Read More SCS Faculty Receive Google Academic Research Awards by Aaron Aupperlee | Wednesday, October 30, 2024 Nine School of Computer Science faculty members recently received Google Academic Research Awards, which aim to fund and actively collaborate with researchers to generate meaningful work with real-world applications. Award amounts vary but can provide up to $100,000 for their duration. Read More CSD, Texas A&M Researchers Protect AI of the Future by Amanda Norvelle | Thursday, October 17, 2024 Trust is vital to the widespread acceptance of AI across industries, but one barrier to increasing that trust is that the algorithms powering AI are vulnerable to attacks. And people know it. David Woodruff, a professor in Carnegie Mellon University's Computer Science Department, and Samson Zhou, an assistant professor in the Department of Computer Science and Engineering at Texas A&M University, hope to change that. Read More Bryan Parno honored with the IEEE Cybersecurity Award for Practice by Michael Cunningham | Friday, October 11, 2024 Bryan Parno, Kavčić-Moura Professor of Electrical and Computer Engineering and Professor of Computer Science, has received the Institute of Electrical and Electronics Engineers (IEEE) Cybersecurity Award for Practice for his contributions to the theory and practice of end-to-end secure systems. Read More Biology Inspires Robotic Arm in NSF-Funded Project Researchers Hope To Improve Prosthetics for People With Limb Differences by Marylee Williams | Thursday, October 10, 2024 For people who use a prosthetic arm, everyday tasks such as picking up small objects or readjusting their grasp on a pen can present a huge challenge. This inability to do the basic tasks of a biological arm often leads people to abandon their prosthetics. In fact, some research on upper limb prosthetics suggests that up to one in five people will stop using them. Read More Former CSD Faculty Geoffrey Hinton Awarded 2024 Nobel Prize in Physics by Michael Henninger and Aaron Aupperlee | Tuesday, October 8, 2024 The Royal Swedish Academy of Sciences today awarded the 2024 Nobel Prize in Physics to Geoffrey E. Hinton of the University of Toronto and John J. Hopfield of Princeton University in recognition of their foundational work in machine learning with artificial neural networks. Read More Raghunathan Awarded 2024 Okawa Research Grant by Marylee Williams | Thursday, October 3, 2024 Aditi Raghunathan, an assistant professor in Carnegie Mellon University's Computer Science Department, has received the 2024 Okawa Research Grant for her work in creating trustworthy large language models (LLMs). Raghunathan is one of six U.S. professors who received this grant from the Okawa Foundation for Information and Telecommunications. The foundation awarded 14 total grants to professors in the U.S., South Korea and China. Read More CSD, LTI Students Named 2025 Siebel Scholars by Aaron Aupperlee | Friday, September 20, 2024 School of Computer Science students Sara McAllister and Aashiq Muhamed have been named 2025 Siebel Scholars. As part of the program, each of them will receive $35,000. Founded in 2000 by the Thomas and Stacey Siebel Foundation, the Siebel Scholars program recognizes nearly 80 students each year whose work influences the technologies, policies, and economic and social decisions that shape the future. Read More Skarlatos Receives Intel Rising Star Faculty Award for Data Center Innovations by Aaron Aupperlee | Wednesday, September 11, 2024 Dimitrios Skarlatos, an assistant professor in Carnegie Mellon University’s Computer Science Department, has received a 2024 Intel Rising Star Faculty Award. Presented annually, the $50,000 award recognizes early career faculty whose work has the potential to disrupt industries and facilitates long-term collaboration between academia and senior technical leaders at Intel. Read More SCS Launches 'Does Compute' Podcast Podcast Explores How Computer Science Builds Useful Stuff That Works by Aaron Aupperlee | Thursday, September 5, 2024 Carnegie Mellon University's top-ranked School of Computer Science (SCS) created "Does Compute" to explore how computer science is building useful stuff that works. The podcast delves into the latest innovations in computer science and discusses the real-world impact of these technologies. Read More Meredith Meyer Grelli Appointed New Director of Project Olympus by Marylee Williams | Wednesday, August 21, 2024 Meredith Meyer Grelli will be the new director of Project Olympus, which provides support and resources to faculty, students, alumni and staff aspiring to transform their research and ideas into startups. Read More CSD Faculty win two “Test of Time” awards at USENIX 2024 by Michael Cunningham | Tuesday, August 20, 2024 Matt Fredrikson, associate professor in the Computer Science Department and Software and Societal Systems Department (S3D), and Bryan Parno, professor in the Computer Science Department and Kavčić-Moura professor of Electrical and Computer Engineering, were honored with prestigious “Test of Time” awards during the 33rd USENIX Security Symposium. Read More Prudentia Project Explores How Internet Applications Share the Same Connection by Michael Cunningham | Friday, August 16, 2024 A new study from researchers in Carnegie Mellon University's Computer Science Department (CSD) and CyLab Security and Privacy Institute aims to find out. The Prudentia project explores how popular internet services — from Netflix to Google Drive — perform when sharing the same internet connection. Read More CMU Hacking Team Wins DEF CON Capture-the-Flag Title Third Win in a Row, Eighth Overall Makes Plaid Parliament of Pwning Winningest Team in Competition History by Michael Cunningham | Monday, August 12, 2024 The winningest team in DEF CON’s Capture-the-Flag (CTF) competition history, Carnegie Mellon University’s Plaid Parliament of Pwning (PPP), won its third consecutive title, earning its eighth victory in the past 12 years. Read More Carnegie Mellon's Kolter Joins OpenAI's Board of Directors, Safety and Security Committee by Aaron Aupperlee | Thursday, August 8, 2024 Kolter will also join the board's Safety and Security Committee. The committee is responsible for making recommendations on critical safety and security decisions for all OpenAI projects. Read More Revisiting Fundamental Equations in Computer Graphics SCS Research Shines at SIGGRAPH 2024 by Charlotte Hu | Wednesday, August 7, 2024 The use of computer graphics has expanded beyond making realistic movie and video game effects to fields like architecture and robotics. As the field evolves, researchers continue to reformulate the basic components powering computer graphics in hopes of creating versions that are more efficient, expressive and in tune with the broader needs of science and engineering. Read More Watch Out IKEA: CMU Researchers Eye Knitted Furniture Robotics Institute Introduces Solid Knitting as New Fabrication Technique by Byron Spice | Tuesday, July 30, 2024 The CMU team presented its solid knitting research and the prototype machine at SIGGRAPH 2024, the annual Conference on Computer Graphics and Interactive Techniques, where it won an honorable mention in the Best Paper competition. SIGGRAPH posted a blog entry about the project. Read More CSD Graduate Katherine Kosaian Receives 2024 Bill McCune PhD Award Breakthrough in the testing of cyber-physical systems by Jenn Landefeld, Isabel Häuser | Thursday, July 11, 2024 Katherine Kosaian, formerly Cordwell, who received her doctoral degree from the Computer Science Department at Carnegie Mellon University, has been selected as the 2024 recipient of the Bill McCune PhD Award. Her dissertation, Formally Verifying Algorithms for Real Quantifier Elimination, was chosen for its strong theoretical and practical contributions to formally verified quantifier elimination for the first-order logic of real arithmetic. Read More School of Computer Science Launches CMU TechBridge Coding Bootcamp by Aaron Aupperlee | Tuesday, June 25, 2024 The School of Computer Science at Carnegie Mellon University has launched the CMU TechBridge Coding Bootcamp to provide access to computer science education and career opportunities for high school (or equivalent) graduates. Read More ACM Honors Blelloch's Work in Algorithm Engineering by Marylee Williams | Friday, June 21, 2024 Guy Blelloch, the U.A. and Helen Whitaker Professor of Computer Science at Carnegie Mellon University, is part of a team that received this year's Association for Computing Machinery (ACM) Paris Kanellakis Theory and Practice Award, which honors accomplishments that have significantly impacted the practice of computing. Also recognized were Blelloch's former advisee, Laxman Dhulipala, who earned his Ph.D. in CMU's Computer Science Department (CSD) and is now an assistant professor at the University of Maryland; and Julian Shun, who also earned his Ph.D. in CSD, now an associate professor at the Massachusetts Institute of Technology. The ACM cited the trio for their contributions to algorithm engineering, which revolutionized large-scale graph processing on shared-memory machines. Read More CMU Class Builds Satellite Bound for Earth's Orbit by Marylee Williams | Tuesday, June 18, 2024 All this excitement erupted during demonstration day for CMU's Spacecraft Design-Build-Fly Lab course, which brings together students from the College of Engineering, Mellon College of Science and the School of Computer Science for two semesters to design and build a small satellite that will launch into space next year. Zac Manchester, an assistant professor in the Robotics Institute (RI), and Brandon Lucia, a professor in the Electrical and Computer Engineering Department (ECE), led the class. Read More Kolter Named Head of Carnegie Mellon University Machine Learning Department AI Scientist Ready To Guide School of Computer Science Through Research Revolution by Marylee Williams | Monday, June 10, 2024 Generative and transformative tools will power the future of computing, and machine learning technologies underpin all the learning, evaluation and improvement of these systems. Research moves quickly from the lab to the real world, where it could transform fields ranging from biology to business. Zico Kolter is ready to lead that transformation as the new director of Carnegie Mellon University's Machine Learning Department (MLD). Read More Pagination Current page 1 Page 2 Page 3 Page 4 Page 5 … Next page ›› Last page Last » Subscribe to News About Events News Key Contacts History Sitemap Employment Diversity, Equity and Inclusion Marketing & Communications Visit Carnegie Mellon Give CSD News RSS Feed CSD in the WorldThe Link: Not Just Available, But Accessible Bringing CMU CS Academy into the Spanish LanguageNY Times: A.I. Pioneer Geoffrey Hinton Reflects on Winning the Nobel Prize in PhysicsTechCrunch: OpenAI adds a Carnegie Mellon professor to its board of directorsNBC News: More colleges are offering AI degrees — could they give job seekers an edge?Wired: Deepfakes are EvolvingAAAS: How do we use AI -- and policy -- for a better world?Post Gazette: What's Next in AI: ...The Business Journals: CMU names head of MLCode Signal 2024 Univ. RankingIEEE Spectrum: MoBot Featured in IEEE Spectrum Video FridayFast Company: What happens when we train our AI on social Media?MSN.com: You can trick ChatGPT into breaking it's own rules, but it's not easyPC Mag: How to Trick Generative AI Into Breaking Its Own RulesPost Gazette: AI Avenue's newest tenant furthers focus on defense techForbes: How Forbes Compiled the 2024 AI50 List Recent Best PapersSIGGRAPH 2024 - Best Paper Awards Walkin' Robin: Walk on Stars With Robin Boundary Conditions - Bailey Miller, Rohan Sawhney, Keenan Crane, Ioannis Gkioulekas Repulsive Shells - Josua Sassen, Henrik Schumacher, Martin Rumpf, Keenan CraneSIGGRAPH 2024 - Honorable Mentions Ray Tracing Harmonic Functions - Mark Gillespie, Denise Yang, Mario Botsch, Keenan Crane Solid Knitting - Yuichi Hirose, Mark Gillespie, Angelica M. Bonilla Fominaya, James McCann
Enabling Developers to Write Provably Correct Software by Krista Burns | 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. Read More
Watermarked LLMs Offer Benefits, but Leading Strategies Come With Tradeoffs by Charlotte Hu | Thursday, November 14, 2024 A new study from Carnegie Mellon University School of Computer Science researchers looks at the tradeoffs of some of the most popular techniques used to watermark content generated by LLMs and offers strategies to mitigate against their shortcomings. Read More
Two SCS Professors Receive Samsung Researcher of the Year Awards by Marylee Williams | Monday, November 11, 2024 Carnegie Mellon University faculty members Aviral Kumar and Jun-Yan Zhu have been named 2024 Samsung AI Researchers of the Year. The award, which includes $30,000 in prize money, recognizes promising researchers who have made outstanding contributions to the field of artificial intelligence. Read More
SCS Professor Recognized as Distinguished Alumnus by Marylee Williams | Monday, November 4, 2024 Nihar Shah, an associate professor in the School of Computer Science's Computer Science and Machine Learning Departments, received an inaugural alumni award from the Indian Institute of Science (IISc). The IISc, a premier research university in Bengaluru, recognizes notable alumni who have made significant contributions in their fields of study, society and more. Read More
SCS Faculty Receive Google Academic Research Awards by Aaron Aupperlee | Wednesday, October 30, 2024 Nine School of Computer Science faculty members recently received Google Academic Research Awards, which aim to fund and actively collaborate with researchers to generate meaningful work with real-world applications. Award amounts vary but can provide up to $100,000 for their duration. Read More
CSD, Texas A&M Researchers Protect AI of the Future by Amanda Norvelle | Thursday, October 17, 2024 Trust is vital to the widespread acceptance of AI across industries, but one barrier to increasing that trust is that the algorithms powering AI are vulnerable to attacks. And people know it. David Woodruff, a professor in Carnegie Mellon University's Computer Science Department, and Samson Zhou, an assistant professor in the Department of Computer Science and Engineering at Texas A&M University, hope to change that. Read More
Bryan Parno honored with the IEEE Cybersecurity Award for Practice by Michael Cunningham | Friday, October 11, 2024 Bryan Parno, Kavčić-Moura Professor of Electrical and Computer Engineering and Professor of Computer Science, has received the Institute of Electrical and Electronics Engineers (IEEE) Cybersecurity Award for Practice for his contributions to the theory and practice of end-to-end secure systems. Read More
Biology Inspires Robotic Arm in NSF-Funded Project Researchers Hope To Improve Prosthetics for People With Limb Differences by Marylee Williams | Thursday, October 10, 2024 For people who use a prosthetic arm, everyday tasks such as picking up small objects or readjusting their grasp on a pen can present a huge challenge. This inability to do the basic tasks of a biological arm often leads people to abandon their prosthetics. In fact, some research on upper limb prosthetics suggests that up to one in five people will stop using them. Read More
Former CSD Faculty Geoffrey Hinton Awarded 2024 Nobel Prize in Physics by Michael Henninger and Aaron Aupperlee | Tuesday, October 8, 2024 The Royal Swedish Academy of Sciences today awarded the 2024 Nobel Prize in Physics to Geoffrey E. Hinton of the University of Toronto and John J. Hopfield of Princeton University in recognition of their foundational work in machine learning with artificial neural networks. Read More
Raghunathan Awarded 2024 Okawa Research Grant by Marylee Williams | Thursday, October 3, 2024 Aditi Raghunathan, an assistant professor in Carnegie Mellon University's Computer Science Department, has received the 2024 Okawa Research Grant for her work in creating trustworthy large language models (LLMs). Raghunathan is one of six U.S. professors who received this grant from the Okawa Foundation for Information and Telecommunications. The foundation awarded 14 total grants to professors in the U.S., South Korea and China. Read More
CSD, LTI Students Named 2025 Siebel Scholars by Aaron Aupperlee | Friday, September 20, 2024 School of Computer Science students Sara McAllister and Aashiq Muhamed have been named 2025 Siebel Scholars. As part of the program, each of them will receive $35,000. Founded in 2000 by the Thomas and Stacey Siebel Foundation, the Siebel Scholars program recognizes nearly 80 students each year whose work influences the technologies, policies, and economic and social decisions that shape the future. Read More
Skarlatos Receives Intel Rising Star Faculty Award for Data Center Innovations by Aaron Aupperlee | Wednesday, September 11, 2024 Dimitrios Skarlatos, an assistant professor in Carnegie Mellon University’s Computer Science Department, has received a 2024 Intel Rising Star Faculty Award. Presented annually, the $50,000 award recognizes early career faculty whose work has the potential to disrupt industries and facilitates long-term collaboration between academia and senior technical leaders at Intel. Read More
SCS Launches 'Does Compute' Podcast Podcast Explores How Computer Science Builds Useful Stuff That Works by Aaron Aupperlee | Thursday, September 5, 2024 Carnegie Mellon University's top-ranked School of Computer Science (SCS) created "Does Compute" to explore how computer science is building useful stuff that works. The podcast delves into the latest innovations in computer science and discusses the real-world impact of these technologies. Read More
Meredith Meyer Grelli Appointed New Director of Project Olympus by Marylee Williams | Wednesday, August 21, 2024 Meredith Meyer Grelli will be the new director of Project Olympus, which provides support and resources to faculty, students, alumni and staff aspiring to transform their research and ideas into startups. Read More
CSD Faculty win two “Test of Time” awards at USENIX 2024 by Michael Cunningham | Tuesday, August 20, 2024 Matt Fredrikson, associate professor in the Computer Science Department and Software and Societal Systems Department (S3D), and Bryan Parno, professor in the Computer Science Department and Kavčić-Moura professor of Electrical and Computer Engineering, were honored with prestigious “Test of Time” awards during the 33rd USENIX Security Symposium. Read More
Prudentia Project Explores How Internet Applications Share the Same Connection by Michael Cunningham | Friday, August 16, 2024 A new study from researchers in Carnegie Mellon University's Computer Science Department (CSD) and CyLab Security and Privacy Institute aims to find out. The Prudentia project explores how popular internet services — from Netflix to Google Drive — perform when sharing the same internet connection. Read More
CMU Hacking Team Wins DEF CON Capture-the-Flag Title Third Win in a Row, Eighth Overall Makes Plaid Parliament of Pwning Winningest Team in Competition History by Michael Cunningham | Monday, August 12, 2024 The winningest team in DEF CON’s Capture-the-Flag (CTF) competition history, Carnegie Mellon University’s Plaid Parliament of Pwning (PPP), won its third consecutive title, earning its eighth victory in the past 12 years. Read More
Carnegie Mellon's Kolter Joins OpenAI's Board of Directors, Safety and Security Committee by Aaron Aupperlee | Thursday, August 8, 2024 Kolter will also join the board's Safety and Security Committee. The committee is responsible for making recommendations on critical safety and security decisions for all OpenAI projects. Read More
Revisiting Fundamental Equations in Computer Graphics SCS Research Shines at SIGGRAPH 2024 by Charlotte Hu | Wednesday, August 7, 2024 The use of computer graphics has expanded beyond making realistic movie and video game effects to fields like architecture and robotics. As the field evolves, researchers continue to reformulate the basic components powering computer graphics in hopes of creating versions that are more efficient, expressive and in tune with the broader needs of science and engineering. Read More
Watch Out IKEA: CMU Researchers Eye Knitted Furniture Robotics Institute Introduces Solid Knitting as New Fabrication Technique by Byron Spice | Tuesday, July 30, 2024 The CMU team presented its solid knitting research and the prototype machine at SIGGRAPH 2024, the annual Conference on Computer Graphics and Interactive Techniques, where it won an honorable mention in the Best Paper competition. SIGGRAPH posted a blog entry about the project. Read More
CSD Graduate Katherine Kosaian Receives 2024 Bill McCune PhD Award Breakthrough in the testing of cyber-physical systems by Jenn Landefeld, Isabel Häuser | Thursday, July 11, 2024 Katherine Kosaian, formerly Cordwell, who received her doctoral degree from the Computer Science Department at Carnegie Mellon University, has been selected as the 2024 recipient of the Bill McCune PhD Award. Her dissertation, Formally Verifying Algorithms for Real Quantifier Elimination, was chosen for its strong theoretical and practical contributions to formally verified quantifier elimination for the first-order logic of real arithmetic. Read More
School of Computer Science Launches CMU TechBridge Coding Bootcamp by Aaron Aupperlee | Tuesday, June 25, 2024 The School of Computer Science at Carnegie Mellon University has launched the CMU TechBridge Coding Bootcamp to provide access to computer science education and career opportunities for high school (or equivalent) graduates. Read More
ACM Honors Blelloch's Work in Algorithm Engineering by Marylee Williams | Friday, June 21, 2024 Guy Blelloch, the U.A. and Helen Whitaker Professor of Computer Science at Carnegie Mellon University, is part of a team that received this year's Association for Computing Machinery (ACM) Paris Kanellakis Theory and Practice Award, which honors accomplishments that have significantly impacted the practice of computing. Also recognized were Blelloch's former advisee, Laxman Dhulipala, who earned his Ph.D. in CMU's Computer Science Department (CSD) and is now an assistant professor at the University of Maryland; and Julian Shun, who also earned his Ph.D. in CSD, now an associate professor at the Massachusetts Institute of Technology. The ACM cited the trio for their contributions to algorithm engineering, which revolutionized large-scale graph processing on shared-memory machines. Read More
CMU Class Builds Satellite Bound for Earth's Orbit by Marylee Williams | Tuesday, June 18, 2024 All this excitement erupted during demonstration day for CMU's Spacecraft Design-Build-Fly Lab course, which brings together students from the College of Engineering, Mellon College of Science and the School of Computer Science for two semesters to design and build a small satellite that will launch into space next year. Zac Manchester, an assistant professor in the Robotics Institute (RI), and Brandon Lucia, a professor in the Electrical and Computer Engineering Department (ECE), led the class. Read More
Kolter Named Head of Carnegie Mellon University Machine Learning Department AI Scientist Ready To Guide School of Computer Science Through Research Revolution by Marylee Williams | Monday, June 10, 2024 Generative and transformative tools will power the future of computing, and machine learning technologies underpin all the learning, evaluation and improvement of these systems. Research moves quickly from the lab to the real world, where it could transform fields ranging from biology to business. Zico Kolter is ready to lead that transformation as the new director of Carnegie Mellon University's Machine Learning Department (MLD). Read More
