News In and Around CSD

Math Puzzle Resolved by Translating It Into Satisfiability Problem
by Byron Spice | Wednesday, September 30, 2020

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

by Byron Spice | Monday, September 28, 2020

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

by Daniel Tkacik | Thursday, August 27, 2020

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

by Byron Spice | Monday, August 10, 2020

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

Monte Carlo Method Dispenses With Troublesome Meshes
by Byron Spice | Monday, June 29, 2020

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

Bryant Ready for Next Step: Retirement
by Byron Spice | Wednesday, June 24, 2020

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

by Byron Spice | Friday, June 19, 2020

Martial Hebert, dean of Carnegie Mellon University's School of Computer Science, has named Russell Schwartz the new head of the Computational Biology Department, effective July 1.

Schwartz, a professor in both the Computational Biology Department (CBD) and the Department of Biological Sciences, will succeed Robert F. Murphy, who founded CBD and... Read More

by Byron Spice | Monday, June 8, 2020

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

Visualizations Poised To Enrich Teaching, Scientific Communication
by Byron Spice | Tuesday, June 2, 2020

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

by Heidi Opdyke | Tuesday, May 26, 2020

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.

Sponsored by the U.S. Department of State's Bureau of Educational and Cultural Affairs, the Fulbright U.S. Student Program is intended to "increase mutual understanding between the... Read More


Subscribe to News In and Around CSD