David Culler
加州大学伯克利分校计算机系教授、系主任
美国国家工程院院士
-
David Culler is a Professor and Chair of Computer Science at the University of California, Berkeley, Associate Chair of Electrical Engineering and Computer Sciences, and CTO of Arch Rock Corporation.
Professor Culler received his B.A. from U.C. Berkeley in 1980, and M.S. and Ph.D. from MIT in 1985 and 1989. He has been on the faculty at Berkeley since 1989, where he holds the Howard Friesen Chair. He is a member of the National Academy of Engineering, an ACM Fellow, an IEEE Fellow and was selected for ACMs Sigmod Outstanding Achievement Award, Scientific American’s ‘Top 50 Researchers’, and Technology Review’s ’10 Technologies that Will Change the World’. He received the NSF Presidential Young Investigators award in 1990 and the NSF Presidential Faculty Fellowship in 1992. He co-chairs the IETF working group on Routing on Low-Power and Lossy networks (ROLL). He was the Principal Investigator of the DARPA Network Embedded Systems Technology project that created the open platform for wireless sensor networks based on TinyOS, and was the founding Director of Intel Research, Berkeley. He has done seminal work on networks of small, embedded wireless devices, planetary-scale internet services, parallel computer architecture, parallel programming languages, and high performance communication, and including RPL, TinyOS, Berkeley Motes, PlanetLab, Networks of Workstations (NOW), and Active Messages. He has served on Technical Advisory Boards for several companies, including Inktomi, ExpertCity (now CITRIX on-line), DoCoMo USA and People Power.
-
Presentation Title: The Internet of Every Thing – a step toward sustainability
Abstract:
Today’s networks allow us to connect almost everybody, but soon we will have the ability to connect almost every thing of value. This new tier of the internet will connect directly to the physical world, allowing a real-world web of physical information to stream into and out of the information processing enterprise, driving decision making and action. Broad research efforts over the past decade have created the technological foundations of this tier, including the integration of sensing, computing, and communication into compact, low-power devices, the development of robust, communication-centric embedded operating systems, and the formulation of reliable, energy-efficient routing protocols. Recently, it has become truly the front-tier of the Internet with 6LoWPAN/ROLL carrying IPv6 in compact form. We now see its emergence as the key to the intelligence of smart grids, green buildings, and sustainable industrial processes.
洪小文
微软亚洲研究院院长
电气电子工程师学会院士
-
Dr. Hsiao-Wuen Hon is the Managing Director of Microsoft Research Asia, located in Beijing, China. Founded in 1998, Microsoft Research Asia has since become one of the best research centers in the world that MIT Technology Review called “the hottest computer science research lab in the world.” Dr. Hon oversees the lab’s research activities and collaborations with academia in Asia Pacific.
An IEEE fellow and a Distinguished Scientist of Microsoft, Dr. Hon is an internationally recognized expert in speech technology. He serves on the editorial board of the international journal of the Communication of the ACM. Dr. Hon has published more than 100 technical papers in international journals and at conferences. He
co-authored a book, Spoken Language Processing, which is a graduate-level textbook and reference book in the area of speech technology in many universities all over the world. Dr. Hon holds three dozens of patents in several technical areas.Dr. Hon has been with Microsoft since 1995. He joined Microsoft Research Asia in 2004 as a Deputy Managing Director, responsible for research in Internet search, speech & natural language, system, wireless and networking. In addition, he founded and managed search technology center (STC) from 2005 to 2007, the Microsoft internet Search product (Bing) development in Asia Pacific.
Prior to joining Microsoft Research Asia, Dr. Hon was the founding member and architect in Natural Interactive Services Division at Microsoft Corporation. Besides overseeing all architectural and technical aspects of the award winning Microsoft® Speech Server product (Frost & Sullivan’s 2005 Enterprise Infrastructure Product of the Year Award, Speech Technology Magazine’s 2004 Most Innovative Solutions Awards and VSLive! 2004 Editors Choice Award.), Natural User Interface Platform and Microsoft Assistance Platform, he is also responsible for managing and delivering statistical learning technologies and advanced search. Dr. Hon joined Microsoft Research as a senior researcher at 1995 and has been a key contributor of Microsoft’s SAPI and speech engine technologies. He previously worked at Apple Computer, where he led research and development for Apple’s’ Chinese Dictation Kit.
Dr. Hon received Ph.D in Computer Science from Carnegie Mellon University and B.S.
in Electrical Engineering from National Taiwan University.
-
Presentation Title:From Ubiquitous Computing to Ubiquitous Harmony
Abstract:
What has enabled human civilization to develop over the years is the accumulation and dissemination of information and knowledge. In ancient times, information was passed down from generation to generation in story form. In the modern world with over 6 billion people, the flow of information and knowledge has become even more critical in maintaining and improving life and well-being throughout the world. The creation of Internet provided first the ubiquitous inter-network for computers (Networked Computing), then a way to collect and share information across computers (Distributed Databases), then a rich and pervasive way of connecting people (Social Network), and eventually the connection of all physical objects in the world (Internet of Things). In this talk, Dr. Hon will provide a glimpse of some technologies at MSR Asia that will continue toward this evolution of utilizing information and knowledge to enable the harmonious connection of people, society, and the environment.
John Hopcroft
康奈尔大学计算机系工程学与应用数学教授
1986年图灵奖获得者
-
John Hopcroft is the IBM Professor of Engineering and Applied Mathematics at Cornell University. He started his career on the Faculty at Princeton in 1964 and moved to Cornell in 1967. In 1987 he became the chair of the Department of Computer Science. In 1993 he became Associate Dean for College Affairs, and in 1994 he became Dean of the College of Engineering in which job he served until 2001 when he returned to the Department of Computer Science.
He earned his B.S. in Electrical Engineering from Seattle University in 1961 and Ph.D. in Electrical Engineering from Stanford University in 1964. He has honorary degrees from Seattle University, the National College of Ireland, the University of Sydney, and St Petersburg State University. He is an honorary professor of the Beijing Institute of Technology, Yunnan University and an Einstein Professor of the Chinese Academy of Sciences. His current research interests are in the area of information capture and access.
Hopcroft has served on numerous advisory boards including the Air Force Science Advisory Board, NASA’s Space Sciences Board and National Research Council’s Board on Computer Science and Telecommunications. In 1986 he was awarded the Turing Award by the Association for Computing Machinery and in 1992, President H. W. Bush appointed him to the National Science Board, which oversees the National Science Foundation. He is a member of the National Academy of Engineering, the National Academy of Science, and the American Academy of Arts and Sciences. He is a Fellow of the Association for Computing Machinery, the Institute of Electrical and Electronics Engineering, and the American Association for the Advancement of Science. He serves on the Packard Foundation’s Science Advisory Board, Microsoft’s Technical Advisory Board for Research Asia and the advisory boards of IIIT Delhi and the College of Engineering at Seattle University. In 2005 he received the IEEE Harry Goode Memorial Award, in 2007 received the CRA Distinguished Service Award, in 2009 the ACM Karl V. Karlstrom Outstanding Educator Award, and in 2010 the IEEE von Neumann Medal.
-
Presentation Title:Computing and the Future
Abstract:
Computing is entering into all aspects of our lives. Today we can do many things that were impossible just a few years ago. We can track the flow of ideas in scientific literature, study the structure of social interactions of millions of people, or obtain information on almost any topic. This talk will present a view of the future driven by computing and the internet. Along with this view the talk will also discuss the science base that needs to be developed to support these activities.
Barbara Liskov
麻省理工学院教授
2008年图灵奖获得者
-
Barbara Liskov (born Barbara Jane Huberman in 1939) is a computer scientist. She is currently the Ford Professor of Engineering in the MIT School of Engineering’s Electrical Engineering and Computer Science department and an Institute Professor at the Massachusetts Institute of Technology. She earned her BA in mathematics at the University of California, Berkeley in 1961. In 1968 Stanford University made her the first woman in the United States to be awarded a Ph.D. from a computer science department. The topic of her Ph.D. thesis was a computer program to play chess end games.
Liskov has led many significant projects, including the Venus operating system, a small, low-cost and interactive timesharing system; the design and implementation of CLU; Argus, the first high-level language to support implementation of distributed programs and to demonstrate the technique of promise pipelining; and Thor, an object-oriented database system. With Jeannette Wing, she developed a particular definition of subtyping, commonly known as the Liskov substitution principle. She leads the Programming Methodology Group at MIT, with a current research focus in Byzantine fault tolerance and distributed computing.
Liskov is a member of the National Academy of Engineering and a fellow of the American Academy of Arts and Sciences and of the Association for Computing Machinery (ACM). In 2004 she won the John von Neumann Medal for “fundamental contributions to programming languages, programming methodology, and distributed systems”. She is the author of three books and over a hundred technical papers.
Liskov received the 2008 Turing Award from the ACM for her work in the design of programming languages and software methodology that led to the development of object-oriented programming. Specifically, Liskov developed two programming languages, CLU in the 1970s and Argus in the 1980s. The ACM cited her contributions to the practical and theoretical foundations of “programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.”
-
Presentation Title:The Power of Abstraction
Abstract:
Abstraction is at the center of much work in Computer Science. It encompasses finding the right interface for a system as well as finding an effective design for a system implementation. Furthermore, abstraction is the basis for program construction, allowing programs to be built in a modular fashion. This talk will discuss how the abstraction mechanisms we use today came to be, how they are supported in programming languages, and some possible areas for future research.
Rick Rashid
微软公司全球高级副总裁
美国国家工程院院士
-
As senior vice president, Richard (Rick) F. Rashid oversees worldwide operations for Microsoft Research, an organization encompassing more than 850 researchers across six labs worldwide. Under Rashid’s leadership, Microsoft Research conducts both basic and applied research across disciplines that include algorithms and theory; human-computer interaction; machine learning; multimedia and graphics; search; security; social computing; and systems, architecture, mobility and networking. His team collaborates with the world’s foremost researchers in academia, industry and government on initiatives to advance the state-of-the-art of computing and to help ensure the future of Microsoft’s products.
After joining Microsoft in September 1991, Rashid served as director and vice president of the Microsoft Research division and was promoted to his current role in 2000. In his earlier roles, Rashid led research efforts on operating systems, networking and multiprocessors, and authored patents in such areas as data compression, networking and operating systems. He managed projects that catalyzed the development of Microsoft’s interactive TV system and also directed Microsoft’s first e-commerce group. Rashid was the driving force behind the creation of the team that later developed into Microsoft’s Digital Media Division.
Before joining Microsoft, Rashid was professor of computer science at Carnegie Mellon University (CMU). As a faculty member, he directed the design and implementation of several influential network operating systems and published extensively about computer vision, operating systems, network protocols and communications security. During his tenure, Rashid developed the Mach multiprocessor operating system, which has been influential in the design of modern operating systems and remains at the core of several commercial systems.
Rashid’s research interests have focused on artificial intelligence, operating systems, networking and multiprocessors. He has participated in the design and implementation of the University of Rochester’s Rochester Intelligent Gateway operating system, the Rochester Virtual Terminal Management System, the CMU Distributed Sensor Network Testbed, and CMU’s SPICE distributed personal computing environment. He also co-developed of one of the earliest networked computer games, “Alto Trek,” during the mid-1970s.
Rashid was inducted into the National Academy of Engineering in 2003 and presented with the Institute of Electrical and Electronics Engineers Emanuel R. Piore Award and the SIGOPS Hall of Fame Award in 2008. He was also inducted into the American Academy of Arts & Sciences in 2008. In addition, Rashid is a member of the National Science Foundation Computer Directorate Advisory Committee and a past member of the Defense Advanced Research Projects Agency UNIX Steering Committee and the Computer Science Network Executive Committee. He is also a former chairman of the Association for Computing Machinery Software System Awards Committee.
Rashid received master of science (1977) and doctoral (1980) degrees in computer science from the University of Rochester. He graduated with honors in mathematics and comparative literature from Stanford University in 1974.
-
Presentation Title:Microsoft Research: Helping to Keep Microsoft a Step Ahead
Abstract:
A key component of Microsoft Research’s mission is its unflagging dedication to help Microsoft deliver leading-edge products to the marketplace. We believe that, by pursuing basic research, we can develop a deep portfolio of technology and expertise that can help keep the company agile and competitive in a world that is changing faster than ever. Microsoft Research achieves this objective by a variety of means, such as a dedicated technology-transfer team that connects product-group challenges with researcher solutions. Virtually every Microsoft product has benefited from our research efforts, and that drumbeat of contributions will only intensify in years to come.
Mahadev Satyanarayanan
卡内基梅隆大学计算机系教授
美国计算机学会、电气电子工程师学会院士
-
Satya is an experimental computer scientist who has pioneered research in mobile and pervasive computing. One outcome is the open-source Coda File System, which supports distributed file access in low-bandwidth and intermittent wireless networks through disconnected and bandwidth-adaptive operation. The Coda concepts of hoarding, reintegration and application-specific conflict resolution can be found in the hotsync capability of PDAs today. Key ideas from Coda have been incorporated by Microsoft into the IntelliMirror component of Windows 2000 and the Cached Exchange Mode of Outlook 2003. Another outcome of Satya’s work is Odyssey,a set of open-source operating system extensions that enable mobile applications to adapt to variation in critical resources such as network bandwidth and energy. Coda and Odyssey are building blocks in Project Aura, a research initiative at Carnegie Mellon to explore distraction-free ubiquitous computing. His most recent work in this space is Internet Suspend/Resume, a hands-free approach to mobile computing that exploits virtual machine technology to liberate personal computing state from hardware. Satya is a co-inventor of many supporting technologies relevant to mobile and pervasive computing, such as data staging, lookaside caching, translucent caching and application-aware adaptation. He is also a co-inventor of the Diamond approach to interactive, non-indexed search of complex and loosely-organized data such as digital photographs and medical images. Early in his career, Satya was a principal architect and implementor of the Andrew File System (AFS) which pioneered the use of scalable file caching, ACL-based security, and volume-based system administration for enterprise-scale information sharing. AFS was commercialized by IBM, is in widespread use today as OpenAFS, and has heavily influenced the NFS v4network file system protocol standard that was published in April 2003.
Satya is the Carnegie Group Professor of Computer Science at Carnegie Mellon University. From May 2001 to May 2004 he served as the founding director of Intel Research Pittsburgh, one of four university-affiliated research labs established worldwide by Intel to create disruptive information technologies through its Open Collaborative Research model. Satya received the PhD in Computer Science from Carnegie Mellon, after Bachelor’s and Master’s degrees from the Indian Institute of Technology, Madras. He is a Fellow of the ACM and the IEEE, and was the founding Editor-in-Chief ofIEEE Pervasive Computing.
-
Presentation Title:Mobile Computing: the Next Decade and Beyond
Abstract:
“Information at your fingertips anywhere, anytime” has been the driving vision of mobile computing for the past two decades. Through relentless pursuit of this vision, spurring innovations in wireless technology, energy-efficient portable hardware and adaptive software, we have now largely attained this goal. Ubiquitous email and Web access is a reality that is experienced by millions of users worldwide through their BlackBerries, iPhones, Windows Mobile, and other portable devices.
What will inspire our research in mobile computing over the next decade and beyond? We observe that our future is being shaped by two different tectonic forces, each with the potential to radically change the mobile computing landscape. One force is the emergence of mobile devices as rich sensors, a role that may soon dominate their current function as communication devices and information appliances. We use the term “rich” to connote the depth and complexity about the real world that is recorded, typically through image capture. This is in contrast to simple scalar data that has typically been the focus of the sensor network community in the context of energy-impoverished “smart-dust” sensors. The other force is the convergence of mobile computing and cloud computing. This will enable the emergence of new near-real-time applications that are no longer limited by energy or computational constraints that are inherent to mobility. The intersection of these immense forces in the next decade will lead to many new research challenges and business opportunities.
Chuck Thacker
微软技术院士
2009年图灵奖获得者
-
Chuck Thacker joined Microsoft in 1997 as Director of Advanced Systems to assist in the establishment of Microsoft’s Cambridge Research Lab, where he was involved in recruiting, defining the research agenda, publicity, and establishing the lab’s operating procedures. At the end of this two-year assignment, he returned to the U.S. and worked on the first Tablet PC. In 2005, he returned to Microsoft Research, where he is building a group to engage in computer architecture research at Microsoft’s Silicon Valley Campus.
Before joining Microsoft, Thacker worked for the Xerox Palo Alto Research Center (PARC), and later at the Digital Equipment Systems Research Center. He served as project leader of the MAXC timesharing system, and as the chief designer on Alto, the first personal computer to use a bit-mapped display and mouse for user interface. Thacker is also the co-inventor of the Ethernet local area network, the DEC Firefly multiprocessor workstation, and the AN1 and AN2 networks.
He has published widely and holds numerous patents in the areas of computer architecture and networking, and has led a number of seminal projects in these areas. Thacker was awarded an honorary doctorate from the Swiss Federal Institute of Technology, and is a distinguished alumnus of the Computer Science Department at the University of California. He is a member of the IEEE, a fellow of the ACM, a Member of the American Association of Arts and Sciences, and a member of the National Academy of Engineering, which in 2004 awarded him the Charles Stark Draper Prize (with A. Kay, B. Lampson, and R. Taylor) for the development of the first networked distributed personal computer system.
In 2007 Thacker received the IEEE’s John Von Neumann medal, which is awarded for outstanding achievements in computer-related science and technology, for his central role in the creation of the personal computer and the development of networked computer systems. In 2007 Thacker was also given an award from the Computer History Museum for his work on the Alto and “innovations in networked personal computer systems and laser printing technologies.”
-
Presentation Title:Improving the Future by Examining the Past
Abstract:
During the last fifty years, the technology underlying computer systems has improved dramatically. As technology has evolved, designers have made a series of choices in the way it was applied in computers. In some cases, decisions that were made in the twentieth century make less sense in the twenty-first. Conversely, paths not taken might now be more attractive given the state of technology today, particularly in light of the limits the field is facing, such as the increasing gap between processor speed and storage access times and the difficulty of cooling today’s computers.In this talk, Chuck Thacker will discuss some of these choices and suggest some possible changes that might make computing better in the twenty-first century.