SCS News [More]

Jean Yang Named to Prestigious "Innovators Under 35" List

Byron Spice Tuesday August 23, 2016
Jean Yang, who is joining the Carnegie Mellon University Computer Science Department as an assistant professor this fall, has been named to MIT Technology Review's annual list of Innovators Under 35.Yang develops tools, languages, and processes to help programmers create the software that they intended. She said she believes it is particularly important to rethink programming models to suit needs of today, when more people who are not computer scientists want to develop their own software.The magazine recognized Yang in the Visionary category of its innovators list for her work on a... 

New Project Helps K–12 Students Become Fluent With Data and Technology

Byron Spice Wednesday August 17, 2016
The future success of today's students hinges more than ever on their ability to think critically, and creatively manipulate technology, media and data. Helping them achieve this level of fluency is the goal of a new project led by Carnegie Mellon University and sponsored by The Heinz Endowments."Our vision is that students will be using technology, multimedia and data as raw materials for supporting their decisions or expressing their creativity," said Jessica Pachuta, a project manager for the CMU Robotics Institute's CREATE (Community Robotics, Education and Technology Empowerment) Lab. "... 

Computer-Aided Verification Award Honors Reynolds

Byron Spice Thursday August 11, 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 group "for the development of separation logic and for demonstrating its applicability in the automated verification of programs that mutate data structures."Separation logic supports local reasoning, in which specifications... 

Carnegie Mellon Wins Third "World Series of Hacking" in Four Years

Daniel Tkacik Monday August 08, 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 Challenge just days earlier."Our team has put in thousands of hours of practice and it is rewarding to see them win amongst the best hackers in the world," said team faculty adviser David Brumley, director of Carnegie... 

Android App Lets Visually Impaired in India Listen to Texts in Native Languages

Byron Spice Thursday August 04, 2016
Millions of visually impaired people in India may benefit from free, open-source software for Android devices that converts electronic text written in Indian languages into messages they can hear.The text-to-speech (TTS) software, developed by Carnegie Mellon University in collaboration with the Hear2Read project, can now be downloaded free of charge from Google Play. Tamil is the first language offered, with subsequent releases of seven major languages — Hindi, Bengali, Gujarati, Marathi, Kannada, Punjabi and Telugu — expected over the remainder of the year.Four out of five people in India... 

Embracing the Free Market for Brilliant People

Andrew Moore Wednesday August 03, 2016
The following article, penned by School of Computer Science Dean Andrew Moore, originally appeared in The Conversation on Tuesday, Aug. 2.When Uber decided to develop its own self-driving car, it went big. The company came to Carnegie Mellon University, the epicenter for autonomous driving research for three decades, and hired away four professors and 36 technical staff members.A lot of news reports described that as "poaching." I call it embracing the free market for brilliant people.As dean of CMU's School of Computer Science, I don't take lightly the loss of 40 valued employees. We in... 

Carnegie Mellon's CREATE Lab Expands Education Network Nationally

Byron Spice Tuesday August 02, 2016
A program to empower students with technology by leveraging Carnegie Mellon University's robotics and computer science talent with education expertise at partner universities is expanding beyond the Western Pennsylvania/West Virginia region to include satellite labs in Atlanta and Salt Lake City.With support from a $250,000 grant from the Infosys Foundation USA, CMU's Community Robotics, Education and Technology Empowerment (CREATE) Lab will work with partners in both cities to provide educators with tools and training to help their students learn about technology and adapt it to their... 

Adding Up How the Brain Does Math

Shilo Rea Thursday July 21, 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 problems was a total mystery to us until we applied these techniques," said John Anderson, the R.K. Mellon University Professor...