News In and Around CSD

Late Professor Cited for Pioneering Work on Separation Logic
by Byron Spice | Wednesday, August 10, 2016

The late John C. Reynolds is one of a group of scientists awarded the 2016 Computer-Aided Verification (CAV) Award for pioneering work on separation logic, an influential framework for reasoning about computer programs and a very active area of research.

The CAV Award, presented at the International Conference on Computer-Aided Verification last month in Toronto, cited the... Read More

by Daniel Tkacik | Sunday, August 7, 2016

Carnegie Mellon University's competitive computer security team, The Plaid Parliament of Pwning, won its third title in four years at the DefCon Capture the Flag competition.

The DefCon Capture the Flag competition, widely considered the "World Series of Hacking," was held Aug. 7–9 in Las Vegas. The win comes on the heels of CMU spinoff ForAllSecure's win at the DARPA Cyber Grand... Read More

by Daniel Tkacik | Wednesday, July 20, 2016

SCS’s Yuvraj Agarwal and Srinivasan Seshan have joined with Vyas Sekar of the Electrical and Computer Engineering Department on a National Science Foundation-funded project to develop a software-based solution to the problem of security for the Internet of Things. 

Read More
Patterns Reveal Four Stages of Thinking That Can Be Used To Improve How Students Learn
by Shilo Rea | Wednesday, July 20, 2016

A new Carnegie Mellon University neuroimaging study reveals the mental stages people go through as they solve challenging math problems.

In the study, which was published in Psychological Science, researchers combined two analytical strategies to use functional magnetic resonance imaging to identify patterns of brain activity that aligned with four distinct stages of problem-solving: encoding, planning, solving and responding.

"How students were solving these kinds of... Read More

Method Could Be Used in Biomechanics, Consumer Goods and Architecture
by Byron Spice | Sunday, July 17, 2016

A new computational design tool can turn a flat sheet of plastic or metal into a complex 3-D shape, such as a mask, sculpture or even a lady's high-heel shoe.

Researchers at Carnegie Mellon University and the Swiss Federal Institute of Technology (EPFL) in Lausanne, Switzerland, say the tool enables designers to fully and creatively exploit an unusual quality of certain materials — the ability to expand uniformly in two dimensions. A rubber band, by contrast, contracts in one dimension while being stretched in another.

"We're taking a flat piece of material and giving it the... Read More

by Susie Cribbs | Monday, July 11, 2016

The School of Computer Science has named rising seniors Rachel Holladay and Ananya Kumar the recipients of this year's Mark Stehlik SCS Alumni Undergraduate Impact Scholarship.

Now in its second year, the Stehlik Scholarship recognizes undergraduate students near the end of their Carnegie Mellon careers whose reach for excellence extends beyond the classroom. Awardees are working to make a difference in SCS, the field of computer science and the world around them.

... Read More

Tuesday, May 31, 2016

The Virtual World Society will award its first Nextant Prize to the late Randy Pausch, a renowned Carnegie Mellon University computer scientist and virtual world innovator, on June 1 at the Augmented World Expo in Santa Clara, Calif. Pausch, who earned his Ph.D. in computer science at CMU, and was a professor in the Computer Science Department and Human-Computer Interaction Institute, co-founded the Entertainment Technology Center and created the famed Building Virtual... Read More

Figuring Out Why the Computer Rejected Your Loan Application
by Byron Spice | Tuesday, May 24, 2016

Machine-learning algorithms increasingly make decisions about credit, medical diagnoses, personalized recommendations, advertising and job opportunities, among other things, but exactly how usually remains a mystery. Now, new measurement methods developed by Carnegie Mellon University researchers could provide important insights to this process.

Was it a person's age, gender or education level that had the most influence on a decision? Was it a particular combination of factors? CMU's Quantitative Input Influence (QII) measures can provide the relative weight of each factor in the... Read More

by Byron Spice | Tuesday, May 10, 2016

Julian Shun, who received his Ph.D. from the Computer Science Department, is the winner of the Association for Computing Machinery's (ACM) 2015 Doctoral Dissertation Award for his work describing new approaches for designing and implementing scalable parallel programs.

His dissertation, "Shared-Memory Parallelism Can Be Simple, Fast and Scalable," was also awarded the SCS Doctoral Dissertation Award last year. Shun is now a post-doctoral researcher... Read More

He and Peter W. O'Hearn Honored for Inventing Concurrent Separation Logic
by Byron Spice | Sunday, May 8, 2016

Stephen Brookes, professor of computer science, and Peter W. O'Hearn, engineering manager at Facebook and professor of computer science at University College London, will receive the 2016 Gödel Prize for their invention of concurrent separation logic (CSL), a major advance in the design and analysis of programs that can take advantage of multicore and multiprocessor systems.

Brookes and... Read More


Subscribe to News In and Around CSD