Microsoft Founder Bill Gates to Visit Campus Professor Edmund Clarke Wins
Total Page:16
File Type:pdf, Size:1020Kb
PIPER2/08 Issue 3 RELATIONSHIPS LAB 5 Q&A WITH Professor Edmund Clarke Wins SHA R ON BU R KS 8 ODYSSEY PR OG R AM “Nobel Prize of Computing” 12 LECTU R E SPOTLIGHT n Byron Spice first Model Checker, called EMC. “I never would have guessed it would The A.M. Turing Award is win a Turing Award. But when you considered the Nobel Prize of realize that you have accomplished Carnegie Mellon the computing field, and this something that is truly important, year’s winner, Computer Science there’s just no better feeling.” Wins Three Professor Edmund M. Clarke, It would take years for the rest couldn’t be more excited. Or of the world to catch on, but today Carnegie Science could he? LARKE C Model Checking is the most widely Actually, Clarke has been used form of verification in the UND Center Awards M more excited at least once before – D computer hardware and software E back in the fall of 1982. That was industries. Engineers routinely use n Piper Staff his first semester as a Carnegie it to improve reliability by spotting They’re the grand prizes in Pittsburgh sci- Mellon faculty member and the design errors before computer ence. And Carnegie Mellon hit the jackpot, semester he implemented his first products go to market. Model Checker. But until 1982, it was just an winning three Carnegie Science Awards. OF PHOTO COURTESY Model Checking is a idea. Clarke and his graduate student, The Robotics Institute took home top C O mp UTER SCIENCE PRO F ESSOR honors, winning the Chairman’s Award. technique for verifying that E. Allen Emerson, began working on E dm UN D CLARKE RECENTLY W AS NA M E D computer circuitry or software it in 1981 when both were at Harvard Tiziana DiMatteo, an associate profes- A CO - RECI P IENT O F THE 2 0 0 7 A . M . does what it was designed to University. At the time, engineers sor in the Department of Physics, won the T URING AW AR D , W HICH IS W I D ELY do. It is the invention of Model checked for logic errors by running “Emerging Female Scientist” accolade, REGAR D E D AS THE “NOBEL PRIZE O F Checking that the Association for simulations to test performance of while the Entertainment Technology Center CO mp UTING .” earned recognition in the Information Computing Machinery (ACM) new circuit designs or by manually Technology category. Award winners were is recognizing by bestowing the the University of Grenoble in France. checking each line of software announced Jan. 31. $250,000 Turing Award on Clarke “When I realized myself that code. But computers already were and two computer scientists at the this worked, that was really the high The Robotics Institute’s award is not C ONTINUE D ON P AGE T W ELVE necessarily given on an annual basis, but University of Texas at Austin and point,” Clarke said as he recalled that C ONTINUE D ON P AGE EIGHT Microsoft Founder Bill Gates To Visit Campus M ICROSO F T F OUN D ER , CHAIR M AN AN D F OR M ER CEO BILL GATES W ILL GIVE A LECTURE TO THE CARNEGIE MELLON CO mm UNITY F RO M 4 TO 5 P . M ., THURS D AY , FEB . 21 IN R ANGOS HALL , UNIVERSITY CENTER . HIS TALK IS TITLE D “BILL GATES UN P LUGGE D : O N SO F T W ARE , INNOVATION , ENTRE P RENEURSHI P AN D GIVING BACK .” THE TALK CONCLU D ES HIS F ARE W ELL LECTURE TOUR O F F IVE P RO M INENT UNIVERSITIES AS HE TRANSITIONS F RO M MICROSO F T INTO HIS NE W ROLE IN THE B ILL AN D MELIN D A GATES FOUN D ATION . IN F OR M ATION REGAR D ING THE LECTURE IS AVAILABLE AT www . C M U . E D U / COR P ORATE / BILL _ GATES PHOTO BY KEN ANDREYO O NE Researcher’s Earthquake Simulations May Reduce PIPER Risk to Buildings, Infrastructure 2/08 Issue n Chriss Swaney large-scale simulations possible is the P UBLI S HER ability to create extremely large models of Teresa Thomas People who live in southern California, earthquake-prone areas like the Los An- E DI T OR where earthquakes often make backyards Bruce Gerson geles basin. This new grant will give us shake like a bowl full of Jell-O, may find M ANAGING EDI T OR the resources to create three-dimensional some comfort in the latest research under NGINEERING Kelli McElhinny models that can simulate how earthquakes E way at Carnegie Mellon. W RI T ER S impact buildings, bridges and other critical Jacobo Bielak, a professor in civil and Cindy Carroll Byron Spice urban infrastructures,” said Bielak. Actual Joceyln Duffy Chriss Swaney environmental engineering, was recently Abby Houck Ken Walters OLLEGE OF buildings can then be classified based on C Eric Sloss awarded a four-year grant to improve the predictions of no damage, nonstructural university’s earthquake simulations to D E S IGNER damage, structural damage or collapse. Melissa Stoebe better predict the impact quakes of various Over the past decade, Bielak, Communications Design Group sizes will have on urban areas. The goal is O’Hallaron and their students have suc- P HO T OGRAPHY simple — to save lives, buildings, infra- Ken Andreyo cessfully collaborated with researchers structure and transportation systems. OF THE AGE COURTESY Communications Design Group at the Southern California Earthquake Because of his extensive earthquake IM To contact The Piper staff, call 412-268-2900 Center (SCEC) on a series of increasingly E ARTHQUAKE SI M ULATIONS CREATE D BY or email [email protected]. work, Bielak was awarded $1.6 million ambitious and influential computer models J ACOBO BIELAK , A CIVIL AN D ENVIRON - Carnegie Mellon University does not discriminate and Carnegie from the prestigious National Science M ENTAL ENGINEERING P RO F ESSOR M AY Mellon University is required not to discriminate in admission, of earthquake behavior, creating fully , employment, or administration of its programs or activities Foundation (NSF) PetaApps program to on the basis of race, color, national origin, sex or handicap in realistic three-dimensional representations HEL P RE D UCE SEIS M IC RISKS IN HEAVILY violation of Title VI of the Civil Rights Act of 1964, Title IX of develop earthquake computer simulations the Educational Amendments of 1972 and Section 504 of the P O P ULATE D , EARTHQUAKE - P RONE AREAS Rehabilitation Act of 1973 or other federal, state, of complex basin geology, earthquake or local laws or executive orders. that play an important role in reducing SUCH AS SOUTHERN CALIFORNIA. In addition, Carnegie Mellon University does not discriminate sources and earthquake ground motion. in admission, employment or administration of its programs on seismic risks affecting the Los Angeles the basis of religion, creed, ancestry, belief, age, veteran status, But Bielak reports that this new sexual orientation or gender identity. Carnegie Mellon does not basin and other large coastal cities. discriminate in violation of federal, state, or local laws or execu- earthquake research is designed to push Department of Civil and Environmental tive orders. However, in the judgment of the Carnegie Mellon Bielak leads a team that also includes Human Relations Commission, the Presidential Executive Order directing the Department of Defense to follow a policy of, “Don’t the capability of existing hardware and Engineering at Carnegie Mellon, noted ask, don’t tell, don’t pursue,” excludes openly gay, lesbian and David R. O’Hallaron, associate professor bisexual students from receiving ROTC scholarships or serving software programs. It will give Bielak and that the NSF research award is another in the military. Nevertheless, all ROTC classes at Carnegie Mel- of computer science and electrical and lon University are available to all students. his team the opportunity to integrate the example of the university’s successful Inquiries concerning application of these statements should computer engineering at Carnegie Mellon, be directed to the Provost, Carnegie Mellon University, 5000 ground motion of large sedimentary basins problem-solving environment. “The proj- Forbes Avenue, Pittsburgh, PA 15213, telephone 412-268-6684 along with researchers from several cam- or the Vice President for Enrollment, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, telephone 412- like the Los Angeles area with a variety ect draws upon our expertise in earthquake 268-2056. puses of the University of California. Carnegie Mellon University publishes an annual campus of large databases, such as entire build- engineering, computer and computational security report describing the university’s security, alcohol and “These simulations will provide drug, and sexual assault policies and containing statistics about ing inventories, to study the impacts of science and seismology,” Garrett said. the number and type of crimes committed on the campus unprecedented detailed knowledge of how during the preceding three years. You can obtain a copy by large magnitude earthquakes on buildings, Bielak and his team also will col- contacting the Carnegie Mellon Police Department at 412-268- an urban system performs in a large earth- 2323. The security report is available through the World Wide Web at www.cmu.edu/police/statistics.htm. transportation systems and other impor- laborate extensively with the Pittsburgh Obtain general information about Carnegie Mellon quake and what is needed for improving University by calling 412-268-2000. tant underground infrastructure. Urban Supercomputing Center to test some of Produced for Media Relations by the Communications disaster planning and preparation,” said Design Group, October 2007, 08-202. planners, emergency personnel and people the special algorithms and simulation Bielak, who was recently elected to the establishing building codes can use the structures that will allow them to generate Mexican Academy of Engineering.