News In and Around CSD
Carnegie Mellon University researchers led a team to victory in the 2021 International Verification of Neural Networks Competition with an open-source tool that can provide a guarantee of the behavior of a critical part of modern artificial intelligence.
Deep neural networks are a critical part of modern artificial intelligence, powering applications from computer vision to natural language processing. But they are complex and unpredictable, posing challenges for areas where safety is paramount, like... Read More
Carnegie Mellon University's School of Computer Science racked up five top-ranked specialty areas and maintained its No. 1 overall ranking for computer science in U.S. News and World Report's 2022 Best Colleges rankings.
The school ranked first in the specialty areas of artificial intelligence, cybersecurity, game development, programming languages and software engineering. This is the first year the school held the top spots in game development... Read More
When 30 Michiganders convened last fall to draw up recommendations for tackling COVID-19, an algorithm developed in part by Carnegie Mellon University computer scientists helped bring them together.
The Citizens' Panel on COVID-19, organized in Michigan by the nonprofit of by for, is an example of a citizens' assembly — a political instrument with roots in ancient Greece that is experiencing a modern-... Read More
Carnegie Mellon University's School of Computer Science will contribute fundamental and cutting-edge research to a government-led push to bring about life-changing advances through artificial intelligence.
The U.S. National Science Foundation today announced a $220 million investment in 11 new Artificial Intelligence Research Institutes. School of Computer Science (SCS) researchers will participate in four of the new institutes.
... Read More
Randal Bryant, the Founders University Professor of Computer Science, Emeritus, and a former dean of Carnegie Mellon University’s School of Computer Science, recently received an award from the International Conference on Computer-Aided Verification (CAV) for his pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT).
The Simons Foundation recently appointed Maria Florina “Nina” Balcan, the Cadence Design Systems professor in computer science, a Simons Investigator in theoretical computer science.
The Simons Investigators program supports theoretical scientists as they establish creative new research directions, leading their fields and providing mentoring to junior researchers. Investigators are appointed for an initial period of five years with an opportunity for an additional five years of... Read More
The Department of Energy (DOE) has selected Souradip Ghosh, an incoming Ph.D. student in the Computer Science Department, as one of its Computational Science Graduate Fellows (CSGF).
The fellowship funds full tuition, provides a yearly stipend and professional development allowance, and offers access to DOE national laboratories and supercomputers. The DOE selected 32 students for its 2021-22 CSGF program.
Ghosh's research interests lie in compilers,... Read More
An incoming School of Computer Science faculty member and a former Ph.D. student recently received honors for their dissertations.
Dimitrios Skarlatos, who will join the Computer Science Department (CSD) faculty this fall, received the joint 2021 ACM SIGARCH & IEEE CS TCCA Outstanding Dissertation Award for his contributions to redesigning the abstractions and interfaces that connect hardware and operating systems. His thesis, "... Read More
Manuela Veloso, a renowned artificial intelligence researcher, computer scientist and roboticist at Carnegie Mellon University, is among the most influential women in engineering, according to a new list compiled by Academic Influence.
The list of women includes astronauts, founders and CEOs of well-known technology and Fortune 500 companies, a Nobel laureate, and researchers from around the world.... Read More
Fei Fang and Tuomas Sandholm, both faculty members in Carnegie Mellon University's School of Computer Science, were recently recognized by the International Joint Conferences on Artificial Intelligence (IJCAI) for significant research in AI.
Fang received the 2021 Computers and Thought Award and Sandholm the 2021 John McCarthy Award. They are among the many CMU faculty members investigating AI and expanding its applications and ensuring its ethical, unbiased and transparent use.
The IJCAI honored... Read More
