News In and Around CSD
Everyone knew Carnegie Mellon's latest computer poker program, Baby Tartanian8, was good. But it turns out its performance in the Annual Computer Poker Competition this year was even better than people thought.
Not only did Baby Tartanian8 take first place in the competition's total bankroll category of the Heads-Up, No-Limit Texas Hold'em game, as announced in February at the Association for the Advancement of Artificial Intelligence meeting in Phoenix, but organizers recently concluded that it also won the game's... Read More
Yang develops tools, languages, and processes to help programmers create the software that they intended. She said she believes it is particularly... Read More
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
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
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
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
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
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
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
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