Alan edelman microsoft




















Certification FAQ. Enterprise Info. Jobs Board. Boost Your Career. Get Top Technical Trends. Grow Your Network. Become a Leader. Member Benefits. Membership FAQ. Membership Categories. Special Circumstances. Our Corporate Partners. My Profile. Technical Communities. Special Technical Communities. Women in Computing. Diversity and Inclusion. Find a Professional Chapter. Start a Chapter. Chapter Resources. Distinguished Visitors Program. Find a Student Chapter.

Student Membership. Scholarships and Awards. About Board of Governors. Peter Stone University of Texas at Austin For contributions to automated planning, learning, and multiagent systems with applications in robotics and ecommerce. Nicholas Higham University of Manchester For contributions to numerical linear algebra, numerical stability analysis, and communication of mathematics.

Hoare University of Cambridge For contributions to the theory of programming, and its application to the practice of engineering of software. Leandros Tassiulas Yale University For contributions to network control and optimization with applications in communication networks.

Andrew Tomkins Google For contributions to the understanding of the web and web-based social networks. Olga Troyanskaya Princeton University and Simons Foundation For contributions to computational biology, data integration. Matthew A. Turk Toyota Technological Institute at Chicago and University of California, Santa Barbara For contributions to face recognition, computer vision, and multimodal interaction.

Laurie Ann Williams North Carolina State University For contributions to empirical research on agile software development, software security, and software engineering education. Cathy H. Wu University of Delaware For contributions to bioinformatics, computational biology, knowledge mining and semantic data integration.

Wang Yi Uppsala University For contributions to the automated analysis and verification of real-time systems. Michael J. Zyda University of Southern California For contributions to game design, game and virtual reality networking, and body tracking. ACM, the Association for Computing Machinery , is the world's largest educational and scientific computing society, uniting educators, researchers and professionals to inspire dialogue, share resources and address the field's challenges.

ACM strengthens the computing profession's collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.

The ACM Fellows Program , initiated in , celebrates the exceptional contributions of the leading members in the computing field.

These individuals have helped to enlighten researchers, developers, practitioners and end users of information technology throughout the world. The new ACM Fellows join a distinguished list of colleagues to whom ACM and its members look for guidance and leadership in computing and information technology.

Printable PDF file. Join Volunteer myACM. ACM Regional Councils. Customer Service FAQs. Become an Ambassador for ACM. Publish with ACM. Select Application-Oriented Papers. Find an ACM Conference. Chapter Administrative Interface. Start an ACM Chapter. More on ACM Awards. The Art of Concurrency in Go. ByteCast Ep Amanda Randles. ByteCast Ep Jelani Nelson. How Diverse Is Your Team? Abadi University of Maryland For contributions to stream databases, distributed databases, graph databases, and column-store databases Samuel Madden Massachusetts Institute of Technology For contributions to data management and sensor computing systems James Allan University of Massachusetts Amherst For contributions to information retrieval, including topic detection and tracking Scott Mahlke University of Michigan and NVIDIA For contributions in compiler code generation for instruction level parallelism, and customized microprocessor architectures Srinivas Aluru Georgia Institute of Technology For contributions to parallel methods in computational biology and leadership in data science David Maltz Microsoft Azure For contributions to networking infrastructure, including data center networking, network operating systems, and cloud networking Andrea C.

Noh UNIST For contributions to storage system software, including flash and byte-addressable non-volatile memory Moses Charikar Stanford University For design of efficient algorithmic techniques for big data, hashing, approximation algorithms, and metric embeddings Prakash Panangaden McGill University For making continuous state systems amenable to logical and computational treatment Yiran Chen Duke University For contributions to to nonvolatile memory technologies Sethuraman Panchanathan National Science Foundation For contributions to multimedia technologies and leadership in the scientific community Graham R.

Cormode University of Warwick For contributions to data summarization and privacy enabling data management and analysis Manish Parashar Rutgers University For contributions to high-performance parallel and distributed computing and computational science Patrick Cousot New York University For contributions to programming languages through the invention and development of abstract interpretation Keshab K.

Parhi University of Minnesota For contributions to architectures and design tools for signal processing and networking accelerators Mathieu Desbrun California Institute of Technology For contributions to geometry processing and discrete differential geometry Haesun Park Georgia Institute of Technology For contributions to numerical algorithms, data analytics, and leadership in computational science and engineering Whitfield Diffie Findora Advanced Research Center For the invention of asymmetric public-key cryptography and the promulgation of a practical cryptographic key-exchange method Gordon Plotkin University of Edinburgh For contributions to the science of programming languages, particularly their operational and denotational semantics Bonnie J.

Gordon Microsoft Research and University of Edinburgh For contributions to programming languages: their principles, logic, usability, and trustworthiness Adam Smith Boston University For contributions to data privacy and cryptography Steven Gribble Google For contributions to virtualization technology across clusters, servers, and networks Olga Sorkine-Hornung ETH Zurich For contributions to digital geometry processing, computer animation, computer graphics and visual computing Susanne E.

Hambrusch Purdue University For research and leadership contributions to computer science education Rick L. Stevens Argonne National Laboratory For contributions in high-performance computing systems, collaborative environments, and tools for large-scale science initiatives Martin Hellman Stanford University For the invention of asymmetric public-key cryptography and the promulgation of a practical cryptographic key-exchange method Peter Stone University of Texas at Austin For contributions to automated planning, learning, and multiagent systems with applications in robotics and ecommerce Nicholas Higham University of Manchester For contributions to numerical linear algebra, numerical stability analysis, and communication of mathematics Yufei Tao Chinese University of Hong Kong For contributions to algorithms for large scale data processing C.

Hoare University of Cambridge For contributions to the theory of programming, and its application to the practice of engineering of software Leandros Tassiulas Yale University For contributions to network control and optimization with applications in communication networks Holger H. Hoos Leiden University For contributions to automated algorithm selection and configuration for optimization and machine learning Kenneth Lane Thompson Google For contributions to the development of operating systems theory and for the implementation of the UNIX operating system Ihab F.

Wu University of Delaware For contributions to bioinformatics, computational biology, knowledge mining and semantic data integration Zhou Kun Zhejiang University For contributions to computer graphics Shuicheng Yan YITU Technology For contributions to visual content understanding techniques and application Brian Levine University of Massachusetts Amherst For contributions to network forensics, security, and privacy, and for thwarting crimes against children Wang Yi Uppsala University For contributions to the automated analysis and verification of real-time systems Kevin Leyton-Brown University of British Columbia For contributions to artificial intelligence, including computational game theory, multi-agent systems, machine learning, and optimization Michael J.

Zyda University of Southern California For contributions to game design, game and virtual reality networking, and body tracking Xuelong Li Northwestern Polytechnical University For contributions to computing on and learning from higher-order data Steven H.

Low California Institute of Technology For theoretical foundations and real-world deployment of Internet congestion control and smart grid optimization Chenyang Lu Washington University in St. Louis For contributions to adaptive real-time systems, real-time virtualization, and wireless cyber-physical systems About ACM ACM, the Association for Computing Machinery , is the world's largest educational and scientific computing society, uniting educators, researchers and professionals to inspire dialogue, share resources and address the field's challenges.

Contact: Jim Ormond ormond acm. Jose Meseguer University of Illinois at Urbana-Champaign For the development of logical methods for design and verification of computational systems. Holger H. Hoos Leiden University For contributions to automated algorithm selection and configuration for optimization and machine learning.

Her recent research focuses on mixed autonomy systems in mobility, which studies the complex integration of automation such as self-driving cars into existing urban systems. She is broadly interested in developing principled computational tools to enable reliable and complex decision-making for critical societal systems.

She received her B. She has received numerous fellowship, best paper, and teaching awards. As the founder and Chair of the Interdisciplinary Research Initiative within the ACM Future of Computing Academy, she is actively building international programs to unlock the potential of interdisciplinary research in computing.

Catherine McCartin, senior lecturer at Massey University and co-owner of a beef and sheep farm explains how New Zealand farming must change from animal based farming to plant based. New laws require the improvement fish water quality and a reduction in methane emissions from livestock. While the country is most efficient producing meat and milk it must adjust the ratio of animal based farming to plant based farming to meet the requirements made by these laws.

The repurposing of New Zealand farm land from animal based to plant based will greatly reduce greenhouse gas emissions and make the landscape more habitable to aquatic wildlife as well as land based animals and birds.

Senior lecturer at Massey University and co-owner of a beef and sheep farm. He leads the Software Design Group. He was a software engineer for Logica UK Ltd. He has broad interests in software engineering, especially in development methods, design and specification, formal methods, and safety critical systems.

The focus of her work is developing the science and engineering of autonomy, toward the long-term objective of enabling a future with machines pervasively integrated into the fabric of life, supporting people with cognitive and physical tasks. Her research addresses some of the gaps between where robots are today and the promise of pervasive robots: increasing the ability of machines to reason, learn, and adapt to complex tasks in human-centered environments, developing intuitive interfaces between robots and people, and creating the tools for designing and fabricating new robots quickly and efficiently.

The applications of this work are broad and include transportation, manufacturing, agriculture, construction, monitoring the environment, underwater exploration, smart cities, medicine, and in-home tasks such as cooking. She is a member of the Toyota Research Institute advisory board.

Darya is the co-president of the Undergraduate Energy Club. In her free time, she likes hiking, watersports, performing in her Indie-Rock band, and visiting new countries. Some of her recent projects have focused on space suit design, dynamics and control of astronaut motion, mission analysis and engineering systems design, and policy analysis. She has published extensively and holds a Ph.

Using natural climate archives such as lake deposits, stalagmites, and deep-sea sediments, his group reconstructs water availability in past climates in order to test theories and models used to project future changes.

David is also the Director of the Terrascope First-Year Learning Community at MIT, which engages first-year undergraduates in student-led exploration of challenges related to sustainability and the environment. Elazer R. Edelman, M. He and his laboratory have pioneered basic findings in vascular biology and the development and assessment of biotechnology.

His graduate thesis work, under the direction of Prof. Robert Langer, defined the mathematics of regulated and controlled drug delivery systems. After internal medicine training and clinical fellowship in Cardiovascular Medicine at the BWH he spent six years as a research fellow in the Department of Pathology at Harvard Medical School with Prof.

Morris J. Karnovsky working on the biology of vascular repair. His research interests meld his medical and scientific training to better understand underlying biology for application towards improved clinical decision making and device design.

For example, his work examining the cellular and molecular mechanisms that produce atherosclerosis and coronary artery disease led to the development and optimization of the first bare-metal stents, as well as subsequent iterations on the technology including drug-eluting stents.

Through a focus on understanding how tissue architecture and biochemical regulation contribute to local growth control, Edelman and his students were among the first to validate that proliferative vascular diseases are the sum of effects from endogenous growth promoters and suppressors. Their characterization of how heparin-like compounds serve as suppressors and heparin-binding growth factors as promoters contributed to the creation of a rigorous framework by which to appreciate how these agents interact with one another in-vivo.

This work and advanced studies of endothelial cell and vascular biology led to the discovery the mutable dynamic of vascular endothelial state and its importance in tissue paracrine and angiocrine regulation in vascular diseases and now cancer. To apply their work, the group reasoned that the optimal way to control a biologic event was by recapitulating natural means of regulation. Hence, polymeric controlled drug delivery systems should mimic natural release systems, and vascular implants should be devised with an intimate knowledge of the injury they induce.

The development and mathematical characterization of perivascular and stent-based drug delivery is an example of the former, and design of an endovascular and drug-eluting stent from first principles and therapeutic tissue engineered endothelial cell constructs is an example of the latter. More recently, these principles have been applied towards the development of novel mechanical organ support and heart valves. Many of his findings have been or are now in clinical trial validation.

More than students and postdoctoral fellows have passed through Dr. As Chief Scientific Advisor of Science: Translational Medicine he has set the tone for the national debate on translational research and innovation. For his work bringing cardiovascular translational research to an international level of excellence, the Spanish Parliament and King Juan Carlos awarded Dr. Edelman with the Spanish Order of Civil Merit for his work.

Most importantly, Elazer is an avid ice hockey goalie, and with his wife Cheryl are parents to comedian and writer Alexander, Olympic athlete AJ, and Austin. Eric Hinterman is a Ph. He attended the University of Notre Dame for his undergraduate studies, where he received a degree in Chemical Engineering. After working in the chemical industry for several years, Eric returned to school to pursue graduate degrees in Aeronautics and Astronautics. He is passionate about human spaceflight and plans to spend his career pushing the boundaries to enable human exploration of Mars and beyond.

Her research is in the design, analysis, and implementation of control and optimization algorithms for large-scale cyber-physical infrastructures, with an emphasis on air transportation systems. Her contributions include airport congestion control algorithms, air traffic routing and airspace resource allocation methods, machine learning for weather forecasts and flight delay prediction, and methods to mitigate environmental impacts.

Much of their inspiration comes from many philosophy and political identity texts, their classical-contemporary piano practice, and their math-heavy background. Recently, they have been wondering how to create a sense of freedom through sound. Hane holds an undergraduate degree from MIT in electrical engineering with a minor in music. Join Hilary Vogelbaum, an MIT student whose passion for finding solutions to address climate change took her far out of her comfort zone—to an industry-sponsored offshore oil and gas drilling camp for college students.

In our hyper polarized and politicized world, the idea that people with widely divergent viewpoints should still talk to each other is RADICAL. Hilary proves that even in the most unlikely places, we can pool our talents to find solutions to prevent catastrophic climate change. The climate problem is so big, everyone can, should and must be part of the solution. A broad thinker, Juan Enriquez bridges disciplines to build a coherent look ahead.

The book describes a world where humans increasingly shape their environment, themselves and other species. Getting online can give people access to science, technology, and the world of ideas. Inclusive design allows us to design better technologies that everyone can use. The Web Content Accessibility Guidelines provide accessibility guidance for the web, on descriptions for images and video, captions for audio, interoperability for speech recognition, and sites that are easier to learn for people with cognitive disabilities.

Accessibility is also important for mobile phones, digital books, online games, telepresence robots, virtual reality and more. An international community of people working on digital accessibility is improving awareness, rights, and resources for accessibility.



0コメント

  • 1000 / 1000