News In and Around CSD
Carnegie Mellon University computer scientists and mathematicians have resolved the last, stubborn piece of Keller's conjecture, a geometry problem that scientists have puzzled over for 90 years.
By structuring the puzzle as what computer scientists call a satisfiability problem, the researchers put the problem to rest with four months of frenzied computer programming and just 30 minutes of computation using a cluster of computers.
"I was really happy when we solved it, but then I was a little sad that the problem was gone," said... Read More
The Siebel Scholars Foundation has announced that SCS graduate students Brandon Bohrer, Rogerio Bonatti, Megan Hofmann, Hsiao-Yu Fish Tung and Lijun Yu are among the recipients of the 2021 Siebel Scholars award.
Now in its 20th year, the program recognizes almost 100 students annually from the world'... Read More
Not long ago, people using Microsoft Word would check for spelling errors by specifically telling the software to run “Spell Check.” The check took a few seconds to do, and users could then go in and fix their typos. Nowadays, Spell Check runs automatically as users write — as I write this story.
Microsoft Word and its constant running of Spell Check is a basic example of “concurrent” programming – a form of computing in which an executable runs simultaneously with other programs and computations. Most programs today are concurrent programs, ranging from... Read More
Apple has announced that two Ph.D. students in the School of Computer Science — Graham Gobieski and Xinyi Wang — have received fellowships in artificial intelligence (AI) and machine learning (ML). They're two of a dozen students who earned fellowships through Apple Scholars, a program that supports students in computer science and engineering.
The scholars were selected based on their innovative research, demonstrated thought leadership, and willingness to take risks and push the... Read More
Researchers at Carnegie Mellon University have developed an efficient new way to quickly analyze complex geometric models by borrowing a computational approach that has made photorealistic animated films possible.
Rapid improvements in sensor technology have generated vast amounts of new geometric information, from scans of ancient architectural sites to the internal organs of humans. But analyzing that mountain of data, whether it's determining if a building is structurally sound or how oxygen flows through the lungs, has become a computational chokepoint.
"The data has... Read More
When Randy Bryant took the helm of Carnegie Mellon University's School of Computer Science in 2004, he quickly realized that SCS, despite its top ranking among computer science schools, had joined its peers in falling a bit behind the research curve.
It was a time when Google and Amazon used thousand-machine server farms to perform unimagined feats and develop new computational methods for solving problems. But academics had yet to embrace the power of big data.
"We were still thinking in terms of much smaller... Read More
Three School of Computer Science faculty members — Michael Hilton, Stephanie Rosenthal and Joshua Sunshine — have been named 2020-21 Wimmer Faculty Fellows by the university's Eberly Center for Teaching Excellence and Educational Innovation.
The fellowships, sponsored by the Wimmer Family Foundation, are designed for junior faculty members who seek to enhance their teaching by designing or redesigning a course, creating innovative new teaching materials, or... Read More
Some people look at an equation and see a bunch of numbers and symbols; others see beauty. Thanks to a new tool created at Carnegie Mellon University, anyone can now translate the abstractions of mathematics into beautiful and instructive illustrations.
The tool enables users to create diagrams simply by typing an ordinary mathematical expression and letting the software do the drawing. Unlike a graphing calculator, these expressions aren't limited to basic functions, but can be complex relationships from any area of mathematics.... Read More
Vaidehi Srinivas, who recently graduated with a bachelor's degree in computer science, will head to Austria as one of seven Carnegie Mellon University students selected as 2020-2021 Fulbright Student Grantees.