CRN Continued on Page 11 Other Modes of Temporary NSF Members of Your Community, but You Employment

Total Page:16

File Type:pdf, Size:1020Kb

CRN Continued on Page 11 Other Modes of Temporary NSF Members of Your Community, but You Employment COMPUTING RESEARCH NEWS A Publication of the Computing Research Association November 2001 Vol. 13/No. 5 Community Service Rotators Help Shape NSF Programs Opportunities By George Strawn By Jim Foley, CRA Chair As readers will know, NSF research programs are run by program The computing research com- completed full-time service roles and directors (PDs), who are a mix of munity is effective for two reasons: returned to their academic positions. federal employees and rotators. Our great researchers, and great researchers Shankar Sastry (Berkeley) served for rotator PDs provide NSF with, who are willing to give some of their two years as Director of the Infor- among other things, an “academic time to serve the research community. mation Technology Office at flavor” that helps to make it the least There are a number of ways to DARPA, where he was responsible bureaucratic of federal agencies. provide service to the community. for a computing research budget in Rotators are indispensable in helping For example, it might take the form excess of $200M. Ruzena Bajcsy to provide the staff power to get our of reviewing papers and proposals or (Penn) completed more than 3 years work done. So the first reason to by serving on editorial boards, review as CISE assistant director—the consider coming to NSF as a rotator longest serving CISE AD since the panels, or conference program com- is to help assure our ability to con- directorate was created, and the first mittees. Or it might involve chairing tinue providing research support to woman to hold this position. Ruzena George Strawn a program or serving as editor-in- the CISE community. managed a directorate budget that chief of a journal. Virtually everyone grew from approximately $300M And there are personal benefits to does some of this on a part-time basis. when she joined NSF to more than If you are a mid-career or senior being a rotator as well as benefits to Service might also be provided to $450M during the past fiscal year. computer and/or information science the CISE community. First, you have a broader community through a part- CRA honored Ruzena for her service and/or engineering faculty member the interesting experience of helping time role as a member or officer of at a reception in August (see photo (briefly, a member of the CISE com- to shape the NSF program(s) serving the CRA board of directors. And elsewhere in this issue). munity), why should you consider your area of expertise. This can opportunities exist on a national Our thanks to Ruzena and coming to NSF as an “Intergovern- involve re-focusing a program’s area level to serve full-time in a rotating Shankar, and to the many other rota- mental Personnel Act (IPA) and/or developing new program position at a government agency. tors who serve or have served at assignee” for a couple of years? And areas. Putting in place the right These government positions include NSF, DARPA, and other funding if you do consider it, how easy might program announcements and leading program director, division director, agencies. it be to do? the effort to evaluate and fund pro- or CISE assistant director at NSF; or Our community appears to be The author of this article, who posals written in response to those program manager and office director ambivalent about taking up this kind went to NSF twice as a “rotator,” will announcements can be both at DARPA or other government of full-time community service with offer some answers to these two ques- challenging and rewarding. funding agencies. a funding agency. Going to tions. (The informal term “rotator” Second, you not only have a This past year, two senior Washington, it is argued, disrupts can refer to both IPA and several chance to interact broadly with the members of our community CRN Continued on Page 11 other modes of temporary NSF members of your community, but you employment. I’ll use it here to refer also may want to get involved with Inside CRN to an “IPA rotator” because the IPA Rotators mechanism is usually the appropriate Continued on Page 7 Expanding the Pipeline .......................2 Automatic Speech Recognition...........4 one for a university faculty member Computer Engineering Numbers.........3 Historical Taulbee Trends ...................5 to use.) Research Lab Salaries........................3 Professional Opportunities ................12 PAID PITAC Reviews Progress, Moves Forward U.S. POSTAGE PERMIT NO. 993 NONPROFIT ORG. WASHINGTON, DC WASHINGTON, The President’s Information and the uncertainties in the economy. problem and a compromise is needed Technology Advisory Committee Overall, committee members that will address the needs of busi- (PITAC) met in Arlington, VA on expressed optimism that while this ness to collect information and the September 25 to review progress in new era offers many challenges, it need for consumers to protect their implementing the recommendations also presents new opportunities for personal information. This issue of its 1999 report, Information IT. From the perspective of the IT requires the attention of both Technology Research: Investing in Our workforce, some observed that more business and government. Future. Over the next few months researchers would return to and The Subcommittee on Socio- the findings of the original PITAC remain in universities, rather than economic, Education, and Workforce report will be revised and presented move to industry positions. There Issues (SEW) reported that while for comment at the committee’s next also was a sense among the members many high-quality grant applications meeting in February 2002. that the pace of innovation is con- had been submitted to participating In an address to the committee, tinuing, amid increasing consolida- agencies (NSF, DOE, NASA, and NSF Director Rita Colwell praised tion within technologies, industries, NIH), only a few could be funded. the 1999 report as influential and and infrastructure elements. Funding levels are still too low, and indicated that “PITAC is indispensable One panel (personal/individual to NSF.” In her view, “Investing in security) and four PITAC subcom- PITAC IT is one of the most important mittees provided briefings. The Continued on Page 7 things we can do for our country.” national security panel did not brief She announced at the meeting that the committee at this time. Infor- NSF would make 309 awards totaling mation on the briefings is available Our thoughts and con- $156 million as part of the on the Web at: http://www.itrd.gov/ dolences go out to Information Technology Research ac/agendas/agenda-25sep01.html. members of the comput- (ITR) initiative. More than 2,000 Some brief highlights of the reports proposals were received. are provided here. ing research community, The committee devoted one ses- The Panel on Personal/Individual their families, and friends sion to a discussion of issues resulting Security reported that it had met who suffered losses from from recent changes in the environ- with a number of government the September attacks in ment of the IT industry. Among agencies and will meet with privacy New York and at the these are the changing fortunes of advocates. One finding is that a fun- Pentagon. many dot-com companies, the drop damental definition of ‘identity’ is in the availability of venture capital, needed. Identity theft is a major CRA NW 1100 Seventeenth Street, Suite 507 DC 20036-4632 Washington, COMPUTING RESEARCH NEWS November 2001 Expanding the Pipeline Computing Research Transforming the Culture of Computing at Association Board Officers Carnegie Mellon James Foley Chair By Lenore Blum Georgia Institute of Technology This article is an abridged version of careers in the United States has then Associate Dean for the under- Janice Cuny “Women in Computer Science: The declined precipitously during the past graduate program, spearheaded an Vice Chair Carnegie Mellon Experience,” a chapter decade, and suggest this is unlikely to intensive effort to understand and University of Oregon that will appear in The Innovative change. Whether or not this conclu- change the representation of women. Kathleen McKeown Secretary University, Daniel P. Resnick and sion is valid, it is the view of many He collaborated with Jane Margolis, Columbia University Dana S. Scott, Eds., Carnegie Mellon observers in the field, and indeed was a social scientist and expert in gen- John Stankovic University Press, Pittsburgh, PA, 2002. cited by Rita Colwell, Director of der equity in education, on a Treasurer Permission granted by Carnegie Mellon the National Science Foundation, in research study aimed at acquiring a University of Virginia University Press. Faye Miller assisted her keynote address at the 2001 deeper understanding of the Board Members with the original report. Grace Hopper Celebration of nature of the problem and estab- Philip Bernstein Women in Computing. lishing a sound basis from which Microsoft Research In 1995, the Computer Science We hope the Carnegie Mellon to develop interventions. Randal Bryant Department at Carnegie Mellon experience may offer inspiration, Funded by the Sloan Foundation, Carnegie Mellon University University (CMU) began an effort to ideas, and concrete suggestions to the project consisted of hundreds of Doris Carver bring more women into its under- others who wish to reverse this interviews with both male and Louisiana State University graduate computer science (CS) pro- perceived trend. female CS students about their histo- Lori Clarke University of Massachusetts gram. At that time, just 7 percent (7 ries with computing, interests, moti- out of 96) of entering freshman com- Why (and How) the vations and aspirations, reasons for Timothy Finin Increase? University of Maryland, puter science majors at Carnegie majoring in CS, and their experi- Baltimore County Mellon were women. Five years It may be helpful first to say a few ences in the undergraduate program.
Recommended publications
  • CRN What It Was Doing and Why It Was Cognitive Systems Vision Doing It, and to Recover from Mental Continued on Page 8 Expanding the Pipeline
    COMPUTING RESEARCH NEWS Computing Research Association, Celebrating 30 Years of Service to the Computing Research Community November 2002 Vol. 14/No. 5 DARPA’s New Cognitive Systems Vision By Ron Brachman and IPTO’s goal is to create a new to cope with systems both keep Zachary Lemnios generation of cognitive systems. growing. In order to make our systems more reliable, more secure, The impact of the Defense Mired in Moore’s Law? and more understandable, and to Advanced Research Projects Agency One benefit of such cognitive continue making substantial contri- (DARPA) on computing over the systems would be their help in butions to society, we need to do past 40 years has been profound. Led extracting us from a corner into something dramatically different. by the visionary J.C.R. Licklider and which our success seems to have his innovative successors in the painted us. The research that has The Promise of Cognitive Information Processing Techniques helped the industry follow Moore’s Systems Office (IPTO), DARPA initiated “Law” has created processors that are IPTO is attacking this problem by work that ultimately put personal remarkably fast and small, and data driving a fundamental change in computers on millions of desktops storage capabilities that are vast and computing systems. By giving systems Ron Brachman and made the global Internet a cheap. Unfortunately, these incred- more cognitive capabilities, we reality. In fact, the original IPTO, ible developments have cut two ways. believe we can make them more which lasted from 1962 to 1985, was While today’s computers are more responsible for their own behavior in large part responsible for estab- powerful than ever, we have been and maintenance.
    [Show full text]
  • The Conference Program Booklet
    Austin Convention Center Conference Austin, TX Program http://sc15.supercomputing.org/ Conference Dates: Exhibition Dates: The International Conference for High Performance Nov. 15 - 20, 2015 Nov. 16 - 19, 2015 Computing, Networking, Storage and Analysis Sponsors: SC15.supercomputing.org SC15 • Austin, Texas The International Conference for High Performance Computing, Networking, Storage and Analysis Sponsors: 3 Table of Contents Welcome from the Chair ................................. 4 Papers ............................................................... 68 General Information ........................................ 5 Posters Research Posters……………………………………..88 Registration and Conference Store Hours ....... 5 ACM Student Research Competition ........ 114 Exhibit Hall Hours ............................................. 5 Posters SC15 Information Booth/Hours ....................... 5 Scientific Visualization/ .................................... 120 Data Analytics Showcase SC16 Preview Booth/Hours ............................. 5 Student Programs Social Events ..................................................... 5 Experiencing HPC for Undergraduates ...... 122 Registration Pass Access .................................. 7 Mentor-Protégé Program .......................... 123 Student Cluster Competition Kickoff ......... 123 SCinet ............................................................... 8 Student-Postdoc Job & ............................. 123 Convention Center Maps ................................. 12 Opportunity Fair Daily Schedules
    [Show full text]
  • Curriculum Vitae
    Massachusetts Institute of Technology School of Engineering Faculty Personnel Record Date: April 1, 2020 Full Name: Charles E. Leiserson Department: Electrical Engineering and Computer Science 1. Date of Birth November 10, 1953 2. Citizenship U.S.A. 3. Education School Degree Date Yale University B. S. (cum laude) May 1975 Carnegie-Mellon University Ph.D. Dec. 1981 4. Title of Thesis for Most Advanced Degree Area-Efficient VLSI Computation 5. Principal Fields of Interest Analysis of algorithms Caching Compilers and runtime systems Computer chess Computer-aided design Computer network architecture Digital hardware and computing machinery Distance education and interaction Fast artificial intelligence Leadership skills for engineering and science faculty Multicore computing Parallel algorithms, architectures, and languages Parallel and distributed computing Performance engineering Scalable computing systems Software performance engineering Supercomputing Theoretical computer science MIT School of Engineering Faculty Personnel Record — Charles E. Leiserson 2 6. Non-MIT Experience Position Date Founder, Chairman of the Board, and Chief Technology Officer, Cilk Arts, 2006 – 2009 Burlington, Massachusetts Director of System Architecture, Akamai Technologies, Cambridge, 1999 – 2001 Massachusetts Shaw Visiting Professor, National University of Singapore, Republic of 1995 – 1996 Singapore Network Architect for Connection Machine Model CM-5 Supercomputer, 1989 – 1990 Thinking Machines Programmer, Computervision Corporation, Bedford, Massachusetts 1975
    [Show full text]
  • Computational Thinking
    0 Computational Thinking Jeannette M. Wing President’s Professor of Computer Science and Department Head Computer Science Department Carnegie Mellon University Microsoft Asia Faculty Summit 26 October 2012 Tianjin, China My Grand Vision • Computational thinking will be a fundamental skill used by everyone in the world by the middle of the 21st Century. – Just like reading, writing, and arithmetic. – Incestuous: Computing and computers will enable the spread of computational thinking. – In research: scientists, engineers, …, historians, artists – In education: K-12 students and teachers, undergrads, … J.M. Wing, “Computational Thinking,” CACM Viewpoint, March 2006, pp. 33-35. Paper off http://www.cs.cmu.edu/~wing/ Computational Thinking 2 Jeannette M. Wing Computing is the Automation of Abstractions Abstractions 1. Machine 2. Human Automation 3. Network [Machine + Human] Computational Thinking focuses on the process of abstraction - choosing the right abstractions - operating in terms of multiple layers of abstraction simultaneously as in - defining the relationships the between layers Mathematics guided by the following concerns… Computational Thinking 3 Jeannette M. Wing Measures of a “Good” Abstraction in C.T. as in • Efficiency Engineering – How fast? – How much space? NEW – How much power? • Correctness – Does it do the right thing? • Does the program compute the right answer? – Does it do anything? • Does the program eventually produce an answer? [Halting Problem] • -ilities – Simplicity and elegance – Scalability – Usability – Modifiability – Maintainability – Cost – … Computational Thinking 4 Jeannette M. Wing Computational Thinking, Philosophically • Complements and combines mathematical and engineering thinking – C.T. draws on math as its foundations • But we are constrained by the physics of the underlying machine – C.T.
    [Show full text]
  • Research News
    Computing Research News COMPUTING RESEARCH ASSOCIATION, CELEBRATING 40 YEARS OF SERVICE TO THE COMPUTING RESEARCH COMMUNITY APRIL 2014 Vol. 26 / No. 4 Announcements 2 2014 CRA Board Election Results 3 Visions 2025: Interacting with the Computers All Around Us 4 Conference at Snowbird 4 CERP Infographic 5 Postdoc Best Practices Award Recipients Announced 6 University-Industry Partnership to Advance Machine Learning 7 Expanding the Pipeline: 1st CRA-W/CDC Broadening Participation in Visualization (BPViz) Workshop 8 CCC Workshop Report: Multidisciplinary Research for Online Education 10 Highlights of the CISE Fiscal Year 2015 Budget Request 11 Time to Degree in Computing 13 CRA Board Members 16 CRA Board Officers 16 CRA Staff 16 Professional Opportunities 17 COMPUTING RESEARCH NEWS, APRIL 2014 Vol. 26 / No. 4 Announcements Rabin and Klawe Named 2014 Women of Vision by the Richard Tapia receives Anita Borg Institute 2014 Vannevar Bush Award CRA, CRA-W and CDC congratulate Richard Tapia for receiving the 2014 Vannevar Bush Award. National Science Board has announced that mathematician Photo credit – Rice University Richard Tapia, a leader in mentoring minorities in science, engineering Dr. Tal Rabin Dr. Maria Klawe Richard Tapia and mathematics fields, is the 2014 recipient Congratulations to both Tal Rabin and Maria Klawe. Klawe is of its Vannevar Bush Award. Tapia is also a previous president of Harvey Mudd College and was a founding co- recipient of CRA’s A. Nico Habermann Award, and the chair of the highly successful CRA-W Committee. She will be Richard Tapia Celebration of Diversity in Computing a plenary speaker at the 2014 Conference at Snowbird.
    [Show full text]
  • Parallel Discrete Event Simulation: the Making of a Field
    Proceedings of the 2017 Winter Simulation Conference W. K. V. Chan, A. D'Ambrogio, G. Zacharewicz, N. Mustafee, G. Wainer, and E. Page, eds. PARALLEL DISCRETE EVENT SIMULATION: THE MAKING OF A FIELD Richard M. Fujimoto Rajive Bagrodia School of Computational Science and Engineering Scalable Network Technologies Inc. Georgia Institute of Technology 6059 Bristol Parkway #200, Culver City, CA 90230 266 Ferst Drive Computer Science Dept., University of California Atlanta, GA 30332, USA Los Angeles, CA 90095, USA Randal E. Bryant K. Mani Chandy Computer Science Department Computing and Mathematical Sciences Carnegie Mellon University Department 5000 Forbes Ave California Institute of Technology Pittsburgh, PA 15213, USA Pasadena, CA 91125, USA David Jefferson Jayadev Misra Lawrence Livermore National Laboratory Computer Science Department 7000 East Avenue The University of Texas at Austin Livermore, CA 94550, USA Austin, TX 78712-1757, USA David Nicol Brian Unger Department of Electrical and Computer Science Department Computer Engineering University of Calgary University of Illinois, Urbana Champaign 2500 University Drive 1308 W. Main St., Urbana IL 61820, USA Calgary, Alberta T2N 1N4 Canada ABSTRACT Originating in the 1970’s, the parallel discrete event simulation (PDES) field grew from a group of researchers focused on determining how to execute a discrete event simulation program on a parallel computer while still obtaining the same results as a sequential execution. Over the decades that followed the field expanded, grew, and flourishes to this day. This paper describes the origins and development of the field in the words of many who were deeply involved. Unlike other published work focusing on technical issues, the emphasis here is on historical aspects that are not recorded elsewhere, providing a unique characterization of how the field was created and developed.
    [Show full text]
  • Online Modeling and Tuning of Parallel Stream Processing Systems Jonathan Curtis Beard Washington University in St
    Washington University in St. Louis Washington University Open Scholarship Engineering and Applied Science Theses & McKelvey School of Engineering Dissertations Summer 8-15-2015 Online Modeling and Tuning of Parallel Stream Processing Systems Jonathan Curtis Beard Washington University in St. Louis Follow this and additional works at: https://openscholarship.wustl.edu/eng_etds Part of the Engineering Commons Recommended Citation Beard, Jonathan Curtis, "Online Modeling and Tuning of Parallel Stream Processing Systems" (2015). Engineering and Applied Science Theses & Dissertations. 125. https://openscholarship.wustl.edu/eng_etds/125 This Dissertation is brought to you for free and open access by the McKelvey School of Engineering at Washington University Open Scholarship. It has been accepted for inclusion in Engineering and Applied Science Theses & Dissertations by an authorized administrator of Washington University Open Scholarship. For more information, please contact [email protected]. WASHINGTON UNIVERSITY IN ST. LOUIS School of Engineering and Applied Science Department of Computer Science and Engineering Dissertation Examination Committee: Roger Dean Chamberlain, Chair Jeremy Buhler Ron Cytron Roch Guerin Jenine Harris Juan Pantano Robert B. Pless Online Modeling and Tuning of Parallel Stream Processing Systems by Jonathan Curtis Beard A dissertation presented to the Graduate School of Arts and Sciences of Washington University in partial fulfillment of the requirements for the degree of Doctor of Philosophy August 2015 Saint
    [Show full text]
  • Contents U U U
    Contents u u u ACM Awards Reception and Banquet, June 2018 .................................................. 2 Introduction ......................................................................................................................... 3 A.M. Turing Award .............................................................................................................. 4 ACM Prize in Computing ................................................................................................. 5 ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award ............. 6 ACM – AAAI Allen Newell Award .................................................................................. 7 Software System Award ................................................................................................... 8 Grace Murray Hopper Award ......................................................................................... 9 Paris Kanellakis Theory and Practice Award ...........................................................10 Karl V. Karlstrom Outstanding Educator Award .....................................................11 Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics ..........................................................12 Distinguished Service Award .......................................................................................13 ACM Athena Lecturer Award ........................................................................................14 Outstanding Contribution
    [Show full text]
  • Computa癢nal Thinking
    Computaonal Thinking Jeanne&e M. Wing President’s Professor of Computer Science and Department Head Computer Science Department Carnegie Mellon University 40 Year Anniversary Event University of Zurich Zurich, Switzerland 24 September 2010 My Grand Vision • Computaonal thinking will be a fundamental skill used by everyone in the world by the middle of the 21st Century. – Just like reading, wri(ng, and arithme(c. – Incestuous: Compu(ng and computers will enable the spread of computaonal thinking. – In research: scien(sts, engineers, …, historians, ar(sts – In educaon: K-12 students and teachers, undergrads, … J.M. Wing, “Computa(onal Thinking,” CACM Viewpoint, March 2006, pp. 33-35. Paper off hMp://www.cs.cmu.edu/~wing/ Computa(onal Thinking 2 JeanneMe M. Wing Compu(ng is the Automaon of Abstrac(ons Abstrac(ons Automa(on Computa(onal Thinking focuses on the process of abstrac(on - choosing the right abstrac(ons - opera(ng in terms of mul(ple layers of abstrac(on simultaneously as in - defining the rela(onships the between layers Mathema(cs guided by the following concerns… Computa(onal Thinking 3 JeanneMe M. Wing Measures of a “Good” Abstrac(on in C.T. as in • Efficiency Engineering – How fast? – How much space? NEW – How much power? • Correctness – Does it do the right thing? • Does the program compute the right answer? – Does it do anything? • Does the program eventually produce an answer? [Hal(ng Problem] • -ilies – Simplicity and elegance – Usability – Modifiability – Maintainability – Cost – … Computa(onal Thinking 4 JeanneMe M. Wing Computaonal Thinking, Philosophically • Complements and combines mathemacal and engineering thinking – C.T. draws on math as its foundaons • But we are constrained by the physics of the underlying machine – C.T.
    [Show full text]
  • Downloaded from the Link’S Website at Link.Cs.Cmu.Edu
    curriculum report SCS , P. 17 News from the School of Computer Science Issue 5.1 / Fall 2010 UNLOCKING THE SECRETS OF CMU’S Inside Intel SUCCESSFUL RESEARCH PARTNERSHIP ALSO INSIDE: GORDON BELL: THE GAMBLER TWEET POLLING, SEI@25, CLASSROOM DIPLOMACY C alendar of E vents All events to be held at the Carnegie Mellon University campus in Pittsburgh, unless otherwise noted. Dates and locations are subject to change without notice. Visit calendar.cs.cmu.edu for a complete and current listing of events. The Link provides a mosaic of the School of Computer Science: presenting issues, analyzing problems, offering occasional answers, giving October 7–8 October 20 November 11-13 exposure to faculty, students, researchers, staff Science2010: Transformations “The Boss is Watching: Robust Fine International Conference and interdisciplinary partners. The Link strives 8 a.m.-6 p.m., Alumni Hall, Obstacle Detection for the on Gigapixel to encourage better understanding of, and 4227 Fifth Avenue, University of DARPA Grand Challenge” Imaging for Science involvement in, the computer science community. Pittsburgh Robert Fisher, Machine Learning Department November 24–26 Editor-in-Chief October 7 2 p.m., Gates Center 4101 Thanksgiving recess: University Randal E. Bryant SCS Distinguished Lecture closed Series: “Rethinking Architectural October 22 Managing Editor/Writer Research and Education” LTI Colloquium: “Class-Based December 3 Jason Togyer Chuck P. Thacker, Microsoft Contextualized Search” Last day of classes, fall term Research Paul Bennett, Microsoft
    [Show full text]
  • 2015-2016 Annual Report
    Computing Research Association Annual Report FY 2015-2016 UNITING INDUSTRY, ACADEMIA, AND GOVERNMENT TO ADVANCE COMPUTING RESEARCH AND CHANGE THE WORLD TaBLE OF CONTENTS Message From the Board Chair 3 Financial Statement 5 Highlights by Mission Area Leadership 6 Policy 11 Talent Development 13 CRA Members 21 Board of Directors 25 Committees 26 Staff 31 The mission of the Computing Research Association (CRA) is to enhance innovation by joining with industry, government, and academia to strengthen research and advanced education in computing. CRA executes this mission by leading the computing research community, informing policymakers and the public, and facilitating the development of strong, diverse talent in the field. Computing Research Association 1828 L St, NW, Suite 800 Washington, DC 20036 P: 202-234-2111 F: 202-667-1066 E: [email protected] W: www.cra.org MESSAGE FROM THE BOARD CHAIR During the CRA 2015-16 Fiscal Year (FY16), from July 1, 2015 to June 30, 2016, CRA made great strides in its efforts to strengthen research and advanced education in computing. We’d like to share with you highlights of our FY16 activities in our three mission areas of leadership, talent development, and policy. These initiatives enhance public and policymaker understanding of the importance of computing, make the case for federal investment in research, and mentor and cultivate individuals in each stage of the pipeline so that more computing researchers can reach their full potential. Before presenting our external activities, let me briefly describe some internal and administrative activities of 2015-16. Board of Directors In 2016, CRA members elected four new members to the board of directors: Penny Rheingans, Shashi Shekhar, Josep Torrellas, and Min Wang.
    [Show full text]
  • Contact: Virginia Gold 212-626-0505 [email protected] ACM TURING
    acm Association for Computing Machinery Advancing Computing as a Science & Profession Contact: Virginia Gold 212-626-0505 [email protected] ACM TURING AWARD HONORS FOUNDERS OF AUTOMATIC VERIFICATION TECHNOLOGY THAT ENABLES FASTER, MORE RELIABLE DESIGNS Researchers Created Model Checking Technique for Hardware and Software Designers NEW YORK, February 4, 2008 – ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking. Their innovations transformed this approach from a theoretical technique to a highly effective verification technology that enables computer hardware and software engineers to find errors efficiently in complex system designs. This transformation has resulted in increased assurance that the systems perform as intended by the designers. The Turing Award, named for British mathematician Alan M. Turing, carries a $250,000 prize, with financial support provided by Intel Corporation and Google Inc. Clarke of Carnegie Mellon University, and Emerson of the University of Texas at Austin, working together, and Sifakis, working independently for the Centre National de la Recherche Scientifique at the University of Grenoble in France, developed this fully automated approach that is now the most widely used verification method in the hardware and software industries. ACM President Stuart Feldman said the work of Clarke, Emerson and Sifakis has had a major impact on designers and manufacturers of semiconductor chips. “These industries face a technology explosion in which products of unprecedented complexity have to operate as expected for companies to survive.
    [Show full text]