Faculty Summit 2016

Faculty Summit 2016


Microsoft Faculty Summit 2016

The 17th annual Microsoft Research Faculty Summit once again proved its unique place at the nexus of industry and academic research as more than 500 participants from around the world gathered in Redmond. This year’s theme focused on where and how computing can contribute to increasing productivity in our professional and personal activities. Attendees from academia and Microsoft participated in sessions ranging from virtual reality, optical networks, streaming analytics and big data infrastructure to the future of work and crowdsourced problem solving.

Microsoft CEO Satya Nadella headlined the opening keynote in a fireside chat. Highlighting the empowering nature of technological innovation, Nadella credited Microsoft Research for its “ability to push the envelope of fundamental research in an environment where the company is much broader than any one product, or any one technology, or one segment.”

In the final fireside chat before the packed audience, Bill Gates shared his take on key areas like machine learning, and image and speech recognition. Watch the highlights in the video below:

Several participants also took advantage of the opportunity to participate in third day workshops on topics that included quantum algorithms, the edge of AI, and safe autonomous cybersecurity.

Every year the field of computing, fueled by academic and industry research, is positioned to address world-scale challenges. And, every year the magnitude of “world-scale” and the capabilities of computing advance dramatically.

Selected sessions are available for viewing on the “On-demand” tab.

Keynote Speakers

  • Satya Nadella, Chief Executive Officer, Microsoft Corporation
  • Bill Gates, Co-Chair, Bill & Melinda Gates Foundation
  • Harry Shum, Executive Vice President, Technology and Research, Microsoft
  • Jeannette M. Wing, Corporate Vice President, Microsoft Research
  • Peter Lee, Corporate Vice President, Microsoft Research
  • Rick Rashid, Chief Technology Officer, Microsoft Applications and Services Group
  • Mark Russinovich, Chief Technology Officer, Microsoft Azure


General Chair      Harold Javid, Academic Outreach Director
Program Chairs      Victor Bahl, Distinguished Scientist
     Judith Bishop, Director, Computer Science
Technology Showcase      Vani Mandava, Senior Program Manager


*Download the Faculty Summit agenda

Wednesday, July 13

Time Session Speaker Location
Microsoft Vision Fireside Chat
Chair: Daron Green, Managing Director, Outreach, Microsoft Research
The Next 25 Years of Computing Research
Speaker: Peter Lee, Corporate Vice President, Microsoft Research Kodiak
Chair: Jeannette M. Wing, Corporate Vice President, Microsoft Research | video
Generating Natural Questions About an Image
Lucy Vanderwende, Micrososft Research
CryptoNets: Machine Learning Inference on Encrypted Data
Ran Gilad-Bachrach, Microsoft Research
Everest: Deploying Verified-Secure Implementations in the HTTPS Ecosystem
Bryan Parno and Nikhil Swamy, Microsoft Research
Molecular Programming
Neil Dalchau, Microsoft Research
Speaker: Rick Rashid, Chief Technology Officer, Microsoft Applications and Services Group | video
Moderator: Kristin Tolle, Microsoft | video
  • Joshua Bloom, University of California-Berkeley
  • Magdalena Balazinska, University of Washington
  • Kathleen McKeown, Columbia University
  • Rob Mauceri, Microsoft
Chair: Tom Ball, Microsoft Research | videoslides
  • Joe Finney, Lancaster University | slides
  • Ben Shapiro, University of Colorado | slides
St. Helens
Chairs: Evelyne Viegas and Lidong Zhou, Microsoft Research | video
  • Dan Bohus, Microsoft Research | slides
  • John Langford, Microsoft Research | slides
  • Rangan Majumder, Microsoft | slides
  • Eric Xing, Carnegie Mellon University
Chair: Jennifer Listgarten, Microsoft Research | video
  • Nicolo Fusi, Microsoft Research | slides
  • Dana Pe’er, Columbia University | slides
  • Eran Segal, Weizmann Institute of Science | slides
Cameras Everywhere! Video Analytics at Scale
Chair: Ganesh Ananthanarayanan, Microsoft Research
  • Peter Bodik, Microsoft Research | slides
  • Ryan Calo, University of Washington | slides
  • Juan Carlos Niebles, Stanford University | slides
  • Josh Smith, University of Washington | slides
Chairs: Paolo Costa and Monia Ghobadi, Microsoft Research | videoslides
  • Jeff Cox, Microsoft
  • Ian White, University of Cambridge
  • Ming Wu, University of California-Berkeley | slides
Personalized Computing with Interconnected Wearables
Chair: Shoaib Mohammed, Microsoft Research
  • Roozbeh Jafari, Texas A&M University | slides
  • Jessica Lundin, Microsoft
  • Joseph Paradiso, Massachusetts Institute of Technology
Moderator: Mary Gray, Microsoft Research | video
  • Chris Benner, University of California-Santa Cruz
  • Meredith Ringel Morris, Microsoft Research
  • Winifred Poster, Washington University-St. Louis
St. Helens
Chair: Melissa Chase, Microsoft Research | video

  • Emiliano De Cristofaro, University College London | slides
  • XiaoQian Jiang, University of California-San Diego | slides
  • Kim Laine, Microsoft Research | slides
Moderator: Victor Bahl, Distinguished Scientist, Microsoft Research | videoslides
  • David Culler, Friesen Professor of Computer Science, University of California-Berkeley
  • Susan B. Davidson, Chair, Board of Directors, Computing Research Association (CRA)
  • John Launchbury, Director, Information Innovation Office, Defense Advanced Research Projects Agency (DARPA)
  • Norman A. Whitaker, Managing Director of Special Projects, Microsoft Research
Travel to Seattle

*Download the Faculty Summit agenda


Thursday, July 14

Time Session Speaker Location
Research in the Cloud
Chair: Daron Green, Managing Director, Outreach, Microsoft Research
Mark Russinovich, Chief Technology Officer, Microsoft Azure
Government Access to Encrypted Data
Moderator: Josh Benaloh, Senior Cryptographer, Microsoft Research | slides

  • Ernie Brickell, Fellow, International Association of Cryptologic Research
  • Scott Charney, Corporate Vice President, Microsoft Trustworthy Computing Group
  • Susan Landau, Professor of Cybersecurity Policy, Worcester Polytechnic Institute
Future Visions Fireside Chat

  • Harry Shum, Executive Vice President, Technology and Research, Microsoft
  • Bill Gates, Co-Chair, Bill & Melinda Gates Foundation
Technology Showcase
Chair: Jitu Padhye, Microsoft Research | video
  • Mohammad Alizadeh, Massachusetts Institute of Technology
  • Vishal Misra, Columbia University | slides
  • Keith Winstein, Stanford University
Chair: Ivan Tashev, Microsoft Research | video
  • Mark Billinghurst, University of South Australia | slides
  • Ramani Duraiswami, University of Maryland | slides
  • Hannes Gamper, Microsoft Research | slides
Chair: Krysta Svore, Microsoft Research | video
  • Jan Gray, Gray Research LLC | slides
  • David Soloveichik, University of Texas
  • Dave Wecker, Microsoft | slides
Chair: Chris Quirk, Microsoft Research | video
  • Oren Etzioni, Allen Institute for Artificial Intelligence | slides
  • Hoifung Poon, Microsoft Research | slides
  • Chris M. Re, Stanford University
Chair: Andres Monroy-Hernandez, Microsoft Research | videoslides
  • Jeff Bigham, Carnegie Mellon University
  • Michael Bernstein, Stanford University
  • Jaime Teevan, Microsoft Research
St. Helens
Building Reliable Next-Generation Mobile and Cloud Applications
Chair: Suman Nath, Microsoft Research | slides
  • Mayur Naik, Georgia Institute of Technology | slides
  • Lenin Ravindranath Sivalingam, Microsoft Research
  • Junfeng Yang, Columbia University
Chair: Chris Hawblitzel, Microsoft Research | video
  • Bryan Parno, Microsoft Research
  • Zachary Tatlock, University of Washington
  • Xi Wang, University of Washington
  • Nickolai Zeldovich, Massachusetts Institute of Technology | slides
Big Data: What’s Next?
Chair: Surajit Chaudhuri, Microsoft Research

  • Jignesh Patel, University of Wisconsin, Madison | slides
  • Matei Zaharia, Massachusetts Institute of Technology | slides
  • Lidong Zhou, Microsoft Research | slides
Complete Learning Systems
Chair: Lin Xiao, Microsoft Research
  • Joseph Gonzalez, University of California-Berkeley | slides
  • John Langford, Microsoft Research
  • Patrice Simard, Microsoft Research | slides
St. Helens
Microsoft Research: Celebrating 25 years

*Download the Faculty Summit agenda



Wednesday, July 13

Design Expo

Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents its work to Microsoft.

Design Expo began as partnership from Microsoft and Apple to integrate technology into the curriculum of design schools worldwide. The goal is to build long term relationships with the design schools, and build community across schools.

To date, around 50 design schools have participated, such as: RISD, Stanford, USC, UCLA, Bezalel (Israel), IDC (Israel), IIT Mumbai (India), NID (India), Tsingua (China), Hong Kong Polytechnic, Delft, UMEA, Dundee (Scotland), TU Einhoven, Iberamericano (Mexico), Northumbria and many more.

Meeting the challenge of educating data scientists

Speakers: Joshua Bloom, University of California-Berkeley; Andrew McCallum, University of Massachusetts; Kathleen McKeown, Columbia University; Rob Mauceri

With the advancement of data production, storage capabilities, communications technologies, computational power, and supporting computational infrastructure, data science is now recognized as a highly-critical growth area with impact across many sectors including science, government, finance, health care, manufacturing, advertising, retail, and others. As such, this has created a supply problem for highly trained data scientists. And since data science technologies are being leveraged to drive crucial decision making, it is of paramount importance to be able to educate professionals with an appropriate skill set to use appropriate rigor when they draw inferences from data. This means they need a broad set of skills that cut across multiple disciplines from statistics to computer science as well as strong critical reasoning in the context of specific business and scientific needs. On this panel we discussed the following:

    • the exploding demand of employers for data scientists
    • how educational programs must change to bridge the gap between supply and demand
    • best practices for establishing cross-departmental programs working to meet the challenge
    • metrics of success

    Optical Networks for the Cloud

    Speakers: Jeff Cox, Microsoft; Ian White, University of Cambridge, Ming Wu, University of California-Berkeley

    Optical communication is already ubiquitous in cloud infrastructure. It is poised to play an even bigger role as we demand higher capacity and lower latency, which traditional architectures may not be able to deliver. Speakers in this session discussed the needs of the next generation of cloud networks and promising optical technologies that can be leveraged to meet those needs.

    The BBC micro:bit

    Speakers: Joe Finney, Lancaster University; Ben Shapiro, University of Colorado

    The BBC micro:bit is a wearable and programmable device that visibly features a 5×5 LED display, accelerometer, compass, buttons, I/O pins, Micro USB plug, Bluetooth Low Energy antenna, ARM Cortex-M0 processor, and battery plug. The first wave of micro:bits landed in the UK this spring, with every Year 7 student in the UK receiving one, for free. Microsoft Research has been working on the hardware and software technology behind the BBC micro:bit. We also have been working with academics and others in Microsoft to explore how to make use of the BBC micro:bit in CS and STEM education in the United States. We discussed the BBC micro:bit and what it means for teachers and students in the US.

    Systems and Artificial Intelligence

    Speakers: Dan Bohus, Microsoft Research; John Langford, Microsoft Research; Ragan Majumder, Microsoft; Eric Xing, Carnegie Mellon University

    Much research is being done today on improving existing systems with intelligence. This session focused instead on the questions to be addressed when designing systems to create and enable AI. The talks presented different points of view on how to design systems to create AI from examples of research directions in academia and industry to practical considerations when creating physically situated interactions to engineering constraints faced by developers.

    Computational Problems in Healthcare and Biomedicine

    Speakers: Nicolo Fusi, Microsoft Research; Dana Pe’er, Columbia University; Eran Segal, Weizmann Institute of Science

    Molecular biology, healthcare and medicine have been slowly morphing into large-scale, data driven sciences dependent on machine learning, natural language processing, applied statistics, privacy and security, compression and efficient search. For example, drug development timelines can be dramatically reduced by modelling the effect of already-approved drugs on large-scale measurements of expression of genes in diseased cells; the progression of cancer and the evolution of stem cells can be tracked using manifold embedding techniques leading to better understanding and more effective treatments; latent variable models deployed on large-scale DNA sequencing of microbial communities pervasive in our bodies and environment are transforming our understanding of health and disease; revolutionary new techniques for gene editing are being made more effective by leveraging machine learning predictive models. In this session, we highlighted a few examples that are helping to transform the world and shine a light on where this quickly-moving area is headed.

    Cameras everywhere! Video Analytics at Scale

    Speakers: Peter Bodik, Microsoft Research; Ryan Calo, University of Washington; Juan Carlos Niebles, Stanford University; Josh Smith, University of Washington

    Cameras are becoming increasingly ubiquitous. They are deployed for a wide variety of commercial & surveillance purposes by private enterprises and governments. Collectively analyzing videos produced by cameras (e.g., city-wide or enterprise-wide or in a datacenter) is a grand research challenge with great commercial importance. Large scale video analytics – on real-time videos and off stored videos – represents an exciting frontier for big data systems and networks. What should large-scale video analytics systems look like? What are the challenges and opportunities for vision algorithms at scale? What are the privacy implications of video analyses? This was a lively session meant to brainstorm and learn about video analytics.

    Personalized Computing with Interconnected Wearables

    Speakers: Roozbeh Jafari, Texas A&M University; Jessica Lundin, Microsoft; Joseph Paradiso, Massachusetts Institute of Technology

    Today’s wearable devices are rapidly shrinking in size. The next frontier of personalized computing is the interaction of these wearables with other proximal devices. Future interconnected wearables will thus exchange information with other ambient devices, perform aggregated analytics and take richer decisions. A web of wearable devices around the body constitutes a body area network (BAN), which is a subclass of the internet-of-things (IoT). Such networks form an enabling technology for novel applications such as precision healthcare, sports training, lifestyle monitoring and individualized security. Talks in this session spanned energy management, systems infrastructure and data-processing platforms for interconnected wearables.

    Building Practical Verified Systems

    Speakers: Bryan Parno, Microsoft Research; Zachary Tatlock, University of Washington; Xi Wang, University of Washington; Nickolai Zeldovich, Massachusetts Institute of Technology

    The world’s software infrastructure is built on top of low-level systems software, such as operating systems, file systems, databases, embedded systems, secure networking software, and distributed systems. Unfortunately, bugs in these low-level systems can lead to lost data, broken security, and catastrophic failures of devices and services. Recent advances in formal verification technologies have raised hopes that critical pieces of our infrastructure may be proven correct and secure. This session explored how this goal may be accomplished, what tools and techniques will be most useful, and what challenges remain.

    The Future of Work: Societal Challenges

    Speakers: Chris Benner, University of California-Santa Cruz; Meredith Ringel Morris, Microsoft Research; Winifred Poster, Washington University-St. Louis

    Some argue that AI will soon take over most human jobs. Yet, despite advances in automation, IoT and on-demand services are fueling novel worlds of work and productivity. The panel brought together a diverse group of scholars to discuss: What technical, social and political challenges and opportunities do AI and crowdsourcing pose for the future of work? How will we build productive and equitable work environments as economies shift from a need for full-time, 9 AM to 5 PM formal employment to the dynamics of a contract-driven always-on, on-demand digital economy? Attendees took away a more nuanced sense of AI and crowdsourcing as disruptive technologies poised to redefine not just workflows but the future of work itself.

    How to Keep your Genome Secret

    Speakers: Emiliano De Cristofaro, University College London; XiaoQian Jiang, University of California-San Diego; Kim Laine, Microsoft Research

    Over the last 10 years, the cost of sequencing the human genome has come down to around $1,000 per person. Human genomic data is a gold-mine of information, potentially unlocking the secrets to human health and longevity. As a society, we face ethical and privacy questions related to how to handle human genomic data. Should it be aggregated and made available for medical research? What are the risks to individual’s privacy? This panel highlighted some new cryptographic solutions for securely handling computation on genomic data, including homomorphic encryption and multi-party computation. We have developed demos of SEAL, the MSR Homomorphic Encryption library, which focus on private genomic predictions and health risk related predictions.

    Enabling Breakthrough and Disruptive Technologies

    Panelists: David Culler, Friesen Professor of Computer Science, University of California-Berkeley; Susan B. Davidson, Chair, Board of Directors, Computing Research Association (CRA); John Launchbury, Director, Information Innovation Office, Defense Advanced Research Projects Agency (DARPA); Norman A. Whitaker, Managing Director of Special Projects, Microsoft Research

    As scientists and engineers we have a deep desire to work on something that will have a big (positive) global impact. The question is: are we doing this? Are enough of us engaged in research and inventing technologies that will change the world? The purpose of this panel was to have a meaningful discussion about what it takes to create a culture where bold bets are the norm. The panelists dug deep into what they have learned over the many years of pursuing and directing large-scale, big-idea research projects. They combined this with what they see happening in our field broadly to try and predict which scientific endeavors, research directions and technologies will likely make it big. Our hope is that these discussions inspired us to bet big while providing some non-obvious pearls of wisdom on how to manage risks and how to make our projects huge successes.

    Thursday, July 14

    Transport Protocols for Hyper-Scale Networks

    Speakers: Mohammad Alizadeh, Massachusetts Institute of Technology; Vishal Misra, Columbia University; Keith Winstein, Stanford University

    As Internet evolves, so must transport protocols and congestion control. Today’s dominant transport protocol, TCP, was designed primarily for wide area, wired network, and for throughput-sensitive traffic. As cloud-based services, mobile internet access, internet-of-things start sourcing or sinking majority of the internet traffic, new transport protocols and new ways of thinking about congestion control are needed. The workshop brought together leading researchers to ponder many of these issues, including, but not limited to: – As data center networks continue to evolve and use ever-more exotic technologies (e.g. free space optics), do we need changes to transport protocols? – What is the right congestion control protocol for RDMA networks? – Can wide area networks be made lossless? Do we need to? – Do we need better transport protocols for mobile networks? – Today, majority of the Internet traffic is generated by, or sent to a handful of major players (Google, Netflix, Facebook etc.). Is TCP the right solution in this scenario? – Many of today’s applications are delay sensitive (e.g. collaborative office document editing). Do we need new transport protocols for such applications? – Edge computing (also known as fog computing) is being widely deployed, and will likely play a major role in internet-of-things ecosystem. What transport protocol innovation is needed in this space? The format of the workshop included short talks by leading academic researchers, followed by a joint panel.

    Spatial Audio for Augmented and Virtual Reality

    Speakers: Mark Billinghurst, University of South Australia; Ramani Duraiswami, University of Maryland; Hannes Gamper, Microsoft Research

    Head mounted displays for virtual and augmented reality are a hot topic for research and product development. An integral part of these devices is the spatial audio rendering system. Unlike the vision, where humans have approximately 100° field of view, human hearing covers all directions in all three dimensions. This means that the spatial audio system is expected to provide realistic rendering of sound objects in full 3D to complement the stereo rendering of the visual objects. This session discussed the problems and solutions around the spatial audio systems in the devices for virtual and augmented reality.

    Computing with Exotic Technologies and Platforms

    Speakers: Jan Gray, Gray Research LLC; David Soloveichik, University of Texas; Dave Wecker, Microsoft

    We have seen the birth of many exotic architectures in recent years, from a quantum computer that promises to achieve exponential speed-ups over conventional computers, to DNA computation that performs disease diagnostics and therapy, to Field Programmable Gate Arrays (FPGAs) that provide a flexible toolkit for implementing architectures such as Microsoft’s Catapult fabric for large-scale datacenters. Each of these exotic technologies enable novel solutions to challenging problems and require equally novel methods to program and design them. We highlighted the advances in their applications and the challenges behind developing their toolchains and programming environments.

    Machine Reading for Science and Society

    Speakers: Oren Etzioni, Allen Institute for Artificial Intelligence; Hoifung Poon, Microsoft Research; Chris M. Re, Stanford University

    Machine reading automates knowledge extraction from text. Traditional machine learning methods are hindered by the scarcity of annotated examples, which motivates the development of modern approaches that leverage “free lunches” such as existing ontologies and databases for indirect supervision. This has enabled the scope of machine reading to expand significantly from its traditional newswire focus. The ensuing impact to science and society is just beginning to manifest. In this session, we gave an overview of modern machine reading approaches and highlighted some example applications such as cancer precision medicine, fighting human trafficking, and education.

    Supporting big tasks through microtasks

    Speakers: Jeff Bigham, Carnegie Mellon University; Michael Bernstein, Stanford University; Jaime Teevan, Microsoft Research

    Online, networked societies have embarked on a massive shift to take work online. Increasingly, computers are not just helping people get work done, but also helping them figure out what to do, with whom, and when. This shift is being supported by the algorithmic decomposition, structuring, and allocation of tasks. The transformation of information work into micro-work creates an opportunity for people to accomplish small but meaningful tasks that contribute towards larger goals in short bursts of time from their mobile devices. Additionally, micro-work enables individuals and automated processes to efficiently and easily work together to complete tasks that currently seem impossible to automate.

    Building Reliable Next-Generation Mobile and Cloud Applications

    Speakers: Mayur Naik, Georgia Institute of Technology; Lenin Ravindranath Sivalingam, Microsoft Research; Junfeng Yang, Columbia University

    Mobile and cloud app ecosystems are growing at a tremendous pace. Today, there are hundreds of thousands of developers building cloud apps and cloud-backed mobile apps. Unlike traditional software, these apps are typically run in uncontrolled “wild” environments: wide range of user interactions, hardware platforms, network connectivities, and fault conditions. Coping with the ensuing performance and reliability issues is difficult enough for sophisticated developers and well-funded organizations, but for small teams with fewer resources at hand, the problem is acute. In this session, we looked at modern developer tools to address these problems.

    Big Data: What’s Next?

    Speakers: Jignesh Patel, University of Wisconsin-Madison; Matei Zaharaia, Massachusetts Institute of Technology

    This session consisted of three technical talks focused on lessons learned from Big Data Platforms from the last decade and outlined ideas that could drive innovations for the next generation of Big Data Platforms.

    Government Access to Encrypted Data

    Speakers: Ernie Brickell, International Association of Cryptologic Research; Scott Charney, Microsoft; Susan Landau, Worcester Polytechnic Institute

    Complete Learning Systems

    Speakers: Joseph Gonzalez, University of California-Berkeley; John Langford, Microsoft Research; Patrice Simard, Microsoft Research

    Most machine learning papers are about some algorithm for finding suitable parameters to a function to accomplish some task, but applying machine learning in practice calls for much more—it calls for systems which generate their data, consume it, and use it effectively to accomplish some task. What do such systems look like? And how useful can they be? Each of the speakers has developed a system for complete learning. The “is it complete or not” bit matters enormously for application of ML in practice, because every missing component must be filled in by someone sufficiently experienced to do the correct thing.


    Mohammad Alizadeh, Massachusetts Institute of Technology

    Mohammad AlizadehMohammad Alizadeh is an Assistant Professor in the EECS Department at MIT, and a member of CSAIL. Before joining MIT, I completed my Ph.D. at Stanford University, and spent a couple of years at a datacenter networking startup, Insieme Networks, and Cisco.

    Ganesh Ananthanarayanan, Microsoft Research

    Ganesh AnanthanarayananGanesh Ananthanarayanan is a researcher at Microsoft Research. His research interests are broadly in systems and networking, with recent focus on cloud computing and large scale data analytics systems. He has published over 25 papers in top conferences such as USENIX OSDI, ACM SIGCOMM and USENIX NSDI. Prior to joining Microsoft Research, he completed his Ph.D. in Berkeley, working with Prof. Ion Stoica in the AMP Lab. More details about Ganesh’s work can be found on his profile.

    Victor Bahl, Distinguished Scientist, Microsoft Research

    Victor BahlVictor Bahl is a Distinguished Scientist and the Director of the Mobility & Networking Research (MNR) Group. He believes that he has one of the best jobs in the industry – pursuing untethered research, shepherding brilliant researchers and helping shape Microsoft’s long-term vision related to networking technologies through research, industry partnerships, and associated policy engagement with governments and research institutions around the world. His personal research spans a variety of topics in mobile computing, wireless systems, cloud services and data center networking & management. Over his career he has built many seminal and highly-cited systems, published prolifically in top conferences and journals, authored over 100 patents, given over 30 keynotes, won many awards and honors, and engaged in significant professional and company-wide leadership activities.

    Magdalena Balazinska, University of Washington

    Magdalena BalazinskaMagdalena Balazinska is an Associate Professor in the department of Computer Science and Engineering at the University of Washington and the Jean Loup Baer Professor of Computer Science and Engineering. She’s the director of the IGERT PhD Program in Big Data and Data Science. She’s also a Senior Data Science Fellow of the University of Washington eScience Institute. Magdalena’s research interests are in the field of database management systems. Her current research focuses on big data management, scientific data management, and cloud computing. Magdalena holds a Ph.D. from the Massachusetts Institute of Technology (2006). She is a Microsoft Research New Faculty Fellow (2007), received an NSF CAREER Award (2009), a 10-year most influential paper award (2010), an HP Labs Research Innovation Award (2009 and 2010), a Rogel Faculty Support Award (2006), a Microsoft Research Graduate Fellowship (2003-2005), and multiple best-paper awards.

    Thomas Ball, Microsoft Research

    Thomas BallThomas Ball (Tom) is a Principal Researcher and Research Manager at Microsoft Research. Tom graduated with a B.A. in Computer Science from Cornell University in 1987 and a M.S. and Ph.D. from the University of Wisconsin-Madison in 1993. From 1993-1999, he was a member of the technical staff at Bell Laboratories, where he made contributions in program visualization and program profiling. In 1999, Tom moved to Microsoft Research, where he started the SLAM software model checking project with Sriram Rajamani, which led to the creation of the Static Driver Verifier (SDV) tool for finding defects in device driver code. Tom is a 2011 ACM Fellow for “contributions to software analysis and defect detection”. Since becoming a manager at Microsoft, he has nurtured research areas such as automated theorem proving, program testing/verification, and empirical software engineering. His current focus is CS and programming education via the Touch Develop and BBC micro:bit projects.

    Josh Benaloh, Microsoft Research

    Josh BenalohJosh Benaloh is Senior Cryptographer at Microsoft Research and an Affiliate Faculty member of the University of Washington Computer Science and Engineering department. He earned an S.B. from M.I.T. and M.S., M.Phil., and Ph.D. degrees from Yale University where his 1987 dissertation “Verifiable Secret-Ballot Elections” introduced the use of homomorphic encryption within the context of conducting elections whose correctness could be verified by voters and observers without having to trust election officials, equipment vendors, or anyone else. Dr. Benaloh is an author of the influential 2015 report “Keys Under Doormats: Mandating insecurity by requiring government access to all data and communications” which made the front page of the New York Times and was frequently cited in congressional hearings and other discussions of the subject.

    Chris Benner, University of California-Santa Cruz

    Chris Benner is the Dorothy E. Everett Chair in Global Information and Social Entrepreneurship, Director of the Everett Program for Digital Tools for Social Innovation, and a Professor of Environmental Studies and Sociology at the University of California, Santa Cruz.  His research examines the relationships between technological change, regional development, and the structure of economic opportunity, focusing on regional labor markets and the transformation of work and employment. Significant authored or co-authored books include: Equity, Growth and Community (2015), which examines diversity and dynamics of regional knowledge communities, and their relationship to social equity and economic growth;  Just Growth (2012) which helps uncover the subtle and detailed processes, policies and institutional arrangement that help explain how certain regions around the country have been able to consistently link prosperity and inclusion; This Could Be The Start of Something Big (2009) which examines new regional movements around community development, policy initiatives, and social movement organizing; and Work in the New Economy (2002), an examination of the transformation of work and employment in the information economy.  He received his Ph.D. in City and Regional Planning from the University of California, Berkeley.

    Keren Bergman, University of Columbia

    Keren BergmanKeren Bergman is the Charles Batchelor Professor and Chair of Electrical Engineering at Columbia University. She was a founding member and currently serves as the inaugural Scientific Director of the Columbia Nano Initiative launched in 2014. Prof. Bergman received the B.S. from Bucknell University in 1988, and the M.S. in 1991 and Ph.D. in 1994 from M.I.T. all in Electrical Engineering. At Columbia, Prof. Bergman leads multiple cross-disciplinary programs at the intersection of computing and photonics. Her research focuses on the architectural design exploration and implementation of photonic systems that incorporate the advantages of manipulating information in the optical domain for advanced computing. Prof. Bergman is a Fellow of the OSA and IEEE.

    Michael Bernstein, Stanford University

    Professor Michael BernsteinMichael Bernstein is an Assistant Professor of Computer Science at Stanford University, where he is a member of the Human-Computer Interaction group. His research focuses on the design of crowdsourcing and social computing systems. This work has received Best Paper awards and nominations at premier venues in human-computer interaction and social computing (ACM UIST, ACM CHI, ACM CSCW, AAAI ISWSM). Michael has been recognized as a Robert N. Noyce Family Faculty Scholar, and awarded the Sloan Fellowship, NSF CAREER award and the George M. Sprowls Award for best doctoral thesis in Computer Science at MIT. He holds a bachelor’s degree in Symbolic Systems from Stanford University, and a masters and Ph.D. in computer science from MIT.

    Jeffrey Bigham, Carnegie Mellon University

    Jeffrey BighamJeffrey Bigham is an Associate Professor in the Human-Computer Interaction and Language Technologies Institutes in the School of Computer Science at Carnegie Mellon University. His research combines computation and crowds to make intelligent interactive systems and solve hard problems in computer science. Many of these systems are designed with a deep understanding of the needs of people with disabilities. He received his Ph.D. in Computer Science and Engineering from the University of Washington in 2009. He has been a Visiting Researcher at MIT CSAIL and Microsoft Research, and is a co-founder of Legion Labs, a company founded to commercialize crowd-powered technologies for people with disabilities. He has received a number of awards for his work, including the Alfred P. Sloan Foundation Fellowship, the Microsoft Imagine Cup Accessible Technology Award, and the National Science Foundation CAREER Award.

    Mark Billinghurst, University of South Australia

    Mark BillinghurstMark Billinghurst is Professor of Human Computer Interaction at the University of South Australia in Adelaide, Australia. In 2002 he earned a PhD from the University of Washington and researches innovative computer interfaces, publishing papers in topics such as wearable computing, Augmented Reality and mobile interfaces. Previously he was Director of the HIT Lab NZ at the University of Canterbury and has worked at Nokia, Google and the MIT Media Laboratory. In 2013 he received the IEEE VR Technical Achievement Award for contributions in Augmented Reality, and was recently elected as a Fellow of the Royal Society of New Zealand.

    Judith Bishop, Microsoft Research

    Judith BishopJudith Bishop is Director of Computer Science in Microsoft Research, USA. Her role is to create strong links between Microsoft’s research groups and universities globally, through encouraging projects and contests, supporting events, summits and summer schools, and engaging directly in research. She leads the Open Source Initiative and Quantum Computing outreach. Previous projects include the BBC micro:bit, Code Hunt, TouchDevelop and TryF#. Judith’s research expertise is in programming languages and distributed systems, with a strong practical bias. After studying in South Africa, Judith received her PhD from the University of Southampton, UK. She then served as a professor, most recently at the University of Pretoria. Judith is an ACM Distinguished Member, and has received the IFIP Silver Core Award, among other awards. She is a Fellow of the British Computer Society and the Royal Society of South Africa.

    Joshua Bloom, University of California-Berkeley

    Joshua BloomJoshua Bloom is co-founder and CTO of Wise.io, a startup based in Berkeley building machine learning applications for customer success. He is also an astronomy professor at the University of California, Berkeley where has taught high-energy astrophysics and Python for data scientists. He has published over 300 refereed articles largely on time-domain transients events and telescope/insight automation. His book on gamma-ray bursts, a technical introduction for physical scientists, was published recently by Princeton University Press. Josh has been awarded the Data-Driven Discovery prize from the Moore Foundation and the Pierce Prize from the American Astronomical Society; he is also a former Sloan Fellow, Junior Fellow at the Harvard Society, and Hertz Foundation Fellow. He holds a PhD from Caltech and degrees from Harvard and Cambridge University.

    Peter Bodik, Microsoft Research

    Peter BodikPeter Bodik is a researcher in the Mobility and Networking group in MSR Redmond. Peter received his PhD. at UC Berkeley where he has been working on applying Machine Learning to problems in operations of large-scale distributed systems, such as failure diagnosis or automatic resource allocation. At Microsoft, he’s been working on improving fault tolerance of distributed systems, scheduling in big-data systems and low-latency services, and recently on streaming and batch video analytics.

    Dan Bohus, Microsoft Research

    Dan BohusDan Bohus is a Senior Researcher in the Adaptive Systems and Interaction Group at Microsoft Research. His research agenda is focused on physically situated, open-world spoken language interaction. Before joining Microsoft Research, Dan has received his Ph.D. degree (2007) in Computer Science from Carnegie Mellon University.

    Ernie Brickell, International Association of Cryptologic Research

    Ernie BrickellErnie Brickell is Fellow of the International Association of Cryptologic Research. He was the founding editor in chief of the Journal of Cryptology. He has been an invited speaker 7 times at IACR conferences and workshops and has 38 publications in Cryptology. Ernie began his career at Sandia National Laboratories, and has also worked at Bellcore and CertCo. He recently retired from Intel Corporation, where he was a Senior Principal Security Architect. Ernie has conducted research in privacy and drove incorporation of privacy features into Intel products. He and coauthors, Jan Camenish and Liqun Chen received the test of time award for their paper on Digital Anonymous Attestation at CCS. His design of Enhanced Privacy ID has been incorporated into Intel products to allow Intel devices to attest that they are Intel devices, to prove that the keys are not revoked, and without revealing the identity of the device. Ernie holds an M.S. in computer science and a Ph.D. in mathematics from the Ohio State University.

    Ryan Calo, University of Washington

    Ryan CaloRyan Calo is an assistant professor at the University of Washington School of Law and an assistant professor (by courtesy) at the Information School. Professor Calo is a CoMotion Presidential Innovation Fellow for the class of 2015. Professor Calo’s research on law and emerging technology appears or is forthcoming in leading law reviews (California Law Review, University of Chicago Law Review, Stanford Law Review Online, University of Pennsylvania Law Review Online) and technical publications (MIT Press, IEEE, Science, Artificial Intelligence), and is frequently referenced by the mainstream media (NPR, New York Times, Wall Street Journal). Professor Calo has also testified before the full Judiciary Committee of the United States Senate and spoken at the Aspen Ideas Festival and NPR’s Weekend in Washington. In 2014, he was named one of the most important people in robotics by Business Insider. He serves on numerous advisory boards, including the University of California’s People and Robots Initiative, the Electronic Frontier Foundation (EFF), the Electronic Privacy Information Center (EPIC), Without My Consent, and the Future of Privacy Forum. Prior to law school at the University of Michigan, Professor Calo investigated allegations of police misconduct in New York City.

    Scott Charney, Microsoft

    Scott CharneyScott Charney is Corporate Vice President for Microsoft’s Trustworthy Computing Group.  This group is responsible for the security and global readiness of Microsoft’s products and services, as well as addressing global public policy issues relating to computer security.  Prior to joining Microsoft, Mr. Charney served as Chief of the Computer Crime and Intellectual Property Section in the U.S. Department of Justice.  In that capacity, he investigated and prosecuted national and international hacker cases, proposed and commented on cybercrime legislation; and chaired the G8 Subgroup on High-Tech Crime.

    Melissa Chase, Microsoft Research

    Melissa ChaseMelissa Chase is a researcher in the Cryptography group at MSR Redmond, focusing on provably secure privacy. Before joining Microsoft, she received a B.S. in Computer Science and Mathematics from Harvey Mudd College, and an M.S. and Ph.D. in Computer Science from Brown University. She has worked in a number of different areas within cryptography, including minimal disclosure credentials, electronic cash, attribute based encryption, and re-encryption.

    Surajit Chaudhuri, Microsoft Research

    Surajit ChaudhuriSurajit Chaudhuri is a Distinguished Scientist at Microsoft Research and leads the Data Management, Exploration and Mining group. As a Deputy Managing Director of MSR Redmond Lab, he also has oversight of Distributed Systems, Networking, Security, Programming languages and Software Engineering groups. He works closely with Microsoft’s Cloud and Enterprises division. His current areas of interest are enterprise data analytics, data discovery, self-manageability and cloud database services. Working with his colleagues in Microsoft Research, he helped incorporate the Index Tuning Wizard (and subsequently Database Engine Tuning Advisor) and data cleaning technology into Microsoft SQL Server. Surajit is an ACM Fellow, a recipient of the ACM SIGMOD Edgar F. Codd Innovations Award, ACM SIGMOD Contributions Award, a VLDB 10-year Best Paper Award, and an IEEE Data Engineering Influential Paper Award. Surajit received his Ph.D. from Stanford University in 1992.

    Paolo Costa, Microsoft Research

    Paolo CostaPaolo Costa is a researcher in the Systems & Networking group in MSR Cambridge. His research interests lie at the intersection of distributed systems and networking with particular emphasis on large-scale networked systems. His current research investigates how to improve data center networks through a deep rethinking of the way these networks are built and operated, leveraging the availability of new hardware technologies such as systems-on-chip (SoCs), distributed switching fabrics, and optical networks. In the past, he had been a research faculty at Imperial College London and received a PhD degree in Computer Engineering from the Politecnico di Milano.

    Jeffrey L. Cox, Microsoft

    Jeffrey CoxJeffrey L. Cox leads the Optical Engineering and Network Testing teams in Azure Networking and is focused on developing future end-to-end network infrastructure architectures supporting all of Microsoft’s online and cloud services. For almost 30 years, Jeff has been involved in architecting, designing, and operating some of the largest scale network infrastructures ever built. Jeff has also led the development of hardware systems in the packet switching/optical transmission space, built datacenters, developed protocols, and has taught numerous networking courses. Prior to joining Microsoft, Jeff was Director of Engineering in the Core Business Unit of Juniper Networks focusing on developing next-generation integrated packet-optical technologies at 100Gb/s and beyond. Prior to Juniper, Jeff was the Director of Research & Technology at BT (British Telecom) leading a group of over 100 researches investigating various networking technologies from physical infrastructure up through end-to-end network architectures. Prior to BT, Jeff was involved in network architecture at JP Morgan Chase focused on MPLS and optical network deployment. For five years beginning in 2000, Jeff started Celion Networks, an optical DWDM transmission system company. Jeff was the Chief Systems Architect for the Celion systems and was responsible for overall product design of the systems. Prior to Celion, Jeff was Sr. Director of Global Data Architecture for Level(3) Communications and was responsible for overall end-to-end architecture for the various packet network infrastructures with a focus on Ethernet and MPLS technologies. For most of the 1990s, Jeff built large-scale enterprise networks for various large corporations. Jeff began his networking career in the 1980s at Texas A&M University where he was responsible for the campus academic computing centers and networking infrastructure.

    David Culler, Friesen Professor of Computer Science, University of California-Berkeley

    David CullerDavid Culler is the Freisen Professor of Computer Science at the University of California, Berkeley, Faculty Director of its Sustainable Infrastructures initiative, and co-director of its DataScience Planning Initiative. 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 is a member of the National Academy of Engineering, an ACM Fellow, an IEEE Fellow and was selected for the 2013 Okawa Prize and ACMs Sigmod Outstanding Achievement Award. He has received Test-of-Time awards from SigMobile, Sensys, Usenix, NSDI, SIGCOMM, PLDI, HPDC, and ISCA. He received the NSF Presidential Young Investigators award in 1990 and the NSF Presidential Faculty Fellowship in 1992. 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 co-founder and CTO of Arch Rock Corporation and the founding Director of Intel Research, Berkeley.

    Susan B. Davidson, Chair, Board of Directors, Computing Research Association

    Susan B. DavidsonSusan B. Davidson received the B.A. degree in Mathematics from Cornell University in 1978, and the M.A. and Ph.D. degrees in Electrical Engineering and Computer Science from Princeton University in 1980 and 1982. Dr. Davidson is the Weiss Professor of Computer and Information Science (CIS) at the University of Pennsylvania, where she has been since 1982, and currently serves as Chair of the board of the Computing Research Association. Dr. Davidson’s research interests include database and web-based systems, scientific data management, provenance, crowdsourcing, and data citation. Dr. Davidson was the founding co-director of the Penn Center for Bioinformatics from 1997-2003, and the founding co-director of the Greater Philadelphia Bioinformatics Alliance. She served as Deputy Dean of the School of Engineering and Applied Science from 2005-2007 and Chair of CIS from 2008-2013. She is an ACM Fellow, a Corresponding Fellowship of the Royal Society of Edinburgh (2015), received the Lenore Rowe Williams Award (2002), was a Fulbright Scholar and recipient of a Hitachi Chair (2004), and received the Trustees’ Council of Penn Women/Provost Award (April 2015) for her work on advancing women in engineering.

    Emiliano De Cristofaro, University College London

    Emiliano De CristofaroEmiliano De Cristofaro is a Senior Lecturer (British English for Associate Professor) at University College London (UCL). Prior to joining UCL in 2013, he was a research scientist at PARC (a Xerox company). In 2011, he received a PhD in Networked Systems from the University of California, Irvine, advised (mostly while running on the beach) by Gene Tsudik. His research interests include privacy technologies, applied cryptography, and systems security. He has served as program co-chair of the Privacy Enhancing Technologies Symposium (PETS) in 2013 and 2014, and of the Workshop on Genome Privacy and Security (GenoPri 2015). For more information on Emiliano, check out his homepage.

    Ramani Duraiswami, University of Maryland

    Ramani DuraiswamiRamani Duraiswami is a Professor in the Department of Computer Science and at the Institute for Advanced Computer Studies at the University of Maryland, College Park. He has broad research interests in a number of areas including spatial audio, computer vision, machine learning and scientific computing. He has a Ph.D. from Johns Hopkins and a B.Tech. from IIT Bombay. See his professor profile for more information on his research. Two companies have been spun out of UMD based around Prof. Duraiswami’s research, including VisiSonics, which is developing several innovative products for virtual and augmented reality, addressing 3D audio capture, analysis and reproduction.

    Oren Etzioni, Allen Institute for Artificial Intelligence

    Oren EtzioniDr. Oren Etzioni is Chief Executive Officer of the Allen Institute for Artificial Intelligence. He has been a Professor at the University of Washington’s Computer Science department since 1991, receiving several awards including GeekWire’s Hire of the Year (2014), Seattle’s Geek of the Year (2013), the Robert Engelmore Memorial Award (2007), the IJCAI Distinguished Paper Award (2005), AAAI Fellow (2003), and a National Young Investigator Award (1993). He was also the founder or co-founder of several companies including Farecast (sold to Microsoft in 2008) and Decide (sold to eBay in 2013), and the author of over 100 technical papers that have garnered over 25,000 citations. The goal of Oren’s research is to solve fundamental problems in AI, particularly the automatic learning of knowledge from text. Oren received his Ph.D. from Carnegie Mellon University in 1991, and his B.A. from Harvard in 1986.

    Joe Finney, Lancaster University

    Joe FinneyJoe Finney is a senior lecturer in the School of Computing and Communications at Lancaster University. His research interests include networked mobile systems, support for lightweight embedded systems, and novel mobile applications. Early in his career, he worked with Microsoft to develop next generation mobile internet protocols for the windows operating system. More recently, he designed, developed and patented a technology known as Firefly, that enables the real-time modelling and control of 3D artistic LED displays. Currently, he spends most of his time working collaboratively with colleagues at the BBC, Microsoft, ARM, Samsung (and many others) to develop the underlying software of the BBC micro:bit – an inexpensive, lightweight computer designed to inspire the next generation of technologists. Joe holds a PhD in computer science from Lancaster University, and is a member of the IEEE, ACM, and British Computing Society. Contact him at the School of Computing and Communications.

    Nicolo Fusi, Microsoft Research

    Nicolo FusiNicolo Fusi is a researcher working at the intersection of machine learning, computational biology and medicine. His focus is on the development of new statistical and computational methods to better understand the genetic and environmental causes of complex diseases. In machine learning, his main interest is in the development of scalable inference methods for Bayesian nonparametric models. Recently, he has also been working on sensing using wearable devices and the computational aspects of gene therapy. Nicolo received his PhD in Computer Science from the University of Sheffield working with Neil Lawrence. He received his B.Sc. and M.Sc. in theoretical computer science from the University of Milan.

    Hannes Gamper, Microsoft Research

    Hannes GamperHannes Gamper received his Diploma Engineer degree in Electrical Engineering/Sound Engineering from University of Technology and University of Music and Performing Arts, both in Graz, Austria, and his PhD from Aalto University, Finland. He joined MSR Labs in 2014 as a post-doctoral researcher in the Audio and Acoustics Research Group, where he is now researcher. His research interests are in the area of spatial audio perception and rendering for augmented and virtual reality. He worked on spatial sound rendering for Hololens and Windows 10, in particular the personalization of audio filters that enable placing sounds arbitrarily around a listener.

    Monia Ghobadi, Microsoft Research

    Monia GhobadiMonia Ghobadi is a postdoc researcher at Microsoft Research. Her research interests are in the general area of computer networking and systems, including data center networking, optical networks, congestion control and software-defined networks. She received her PhD from University of Toronto and spent a couple of years at Google’s data center team.

    Joseph Gonzalez, University of California-Berkeley

    Joseph GonzalezJoseph Gonzalez an assistant professor at UC Berkeley and co-founder of Dato Inc. Joseph holds a PhD in Machine Learning from CMU where he created the PowerGraph open-source graph processing system and a collection of tools for Graphical Model inference. Joseph is part of the UC Berkeley AMPLab where he created, GraphX, the graph analytics framework in Apache Spark.

    Jan Gray, Association for Computing Machinery

    Jan GrayJan Gray is founder of Gray Research LLC. He worked at Microsoft 1987-2009 as Partner Software Architect on developer tools and platforms products including the Visual C++ compiler, COM+, Common Language Runtime, and the Parallel Computing Platform. Jan also has two decades of experience crafting FPGA-efficient soft processors. Consulting for MSR, he built the parallel machine learned model evaluation pipeline stage of the Catapult Bing ranking accelerator. His current work is GRVI Phalanx, a “software-first, software-mostly” FPGA accelerator framework that composes hundreds of RISC-V soft processors, accelerators, and extreme bandwidth I/O interfaces using a Hoplite network-on-chip. Jan has a B.Math. (CS/EE) from the University of Waterloo, and has over 40 patents.

    Mary L. Gray, Microsoft Research

    Mary L. GrayMary L. Gray is a Senior Researcher at Microsoft Research and Fellow at Harvard University’s Berkman Center for Internet and Society. She maintains an appointment as Associate Professor of the Media School, with affiliations in American Studies, Anthropology, and Gender Studies at Indiana University. Mary’s research looks at how media access, material conditions, and everyday uses of technologies transform people’s lives. Her most recent book, Out in the Country: Youth, Media, and Queer Visibility in Rural America (NYU Press), looked at how young people in the rural United States use media to negotiate their sexual and gender identities, local belonging, and connections to broader, imagined queer communities. Mary’s current book project, co-authored with computer scientist Siddharth Suri, combines ethnography, interviews, survey data and large scale data analysis to understand workers’ experiences of on-demand economies and their implications for the future of work. A third thread of Mary’s work examines how ethics and research compliance processes produce norms of vulnerability and risk in human subjects research, particularly work at the intersections of computer and social science. Her research has also been published by Critical Studies in Media Communication, Cultural Anthropology, International Journal of Communication, and Social Media + Society.

    Daron Green, Managing Director, Outreach, Microsoft Research

    Daron GreenDaron Green is responsible for Microsoft Research’s university research investments and collaborations. MSR maintains a global portfolio of research activities with leading universities and research institutes including joint research centers, Phd sponsorships, awards and major initiatives in computer science.  Previously, Dr. Green was General Manager of Microsoft’s Technology Policy Group; responsible for identifying business opportunities and innovations from potential disruptive technologies. Dr. Green’s research background was in molecular modeling – BSc in Chemical Physics (Sheffield) and PhD in molecular simulation of fluid mixtures (Sheffield). His post-doctoral research was in simulation of polymer and protein folding (UCD). After working at Southampton University’s Parallel Applications Center, Dr. Green moved into high performance computing and was responsible for some of Europe’s largest HPC Framework V programs for the European Commission and major HPC procurements in the UK. He also worked at IBM and British telecom in both areas helping develop and incubate new business opportunities.

    Chris Hawblitzel, Microsoft Research

    Chris HawblitzelChris Hawblitzel is a Senior Researcher at Microsoft Research. His research focuses on using programming language techniques and formal verification to enforce the safety and security of systems software. He has worked on projects like the Singularity OS (Eurosys “Test of Time” award), the Verve verified OS (PLDI best paper award), and the Ironclad/IronFleet verified software stack. He received a Ph.D. in Computer Science from Cornell in 2000, and taught at Dartmouth College until 2004.

    Roozbeh Jafari, Texas A&M University

    Roozbeh JafariRoozbeh Jafari is an associate professor in Biomedical Engineering, Computer Science and Engineering and Electrical and Computer Engineering at Texas A&M University. He received his PhD in Computer Science from UCLA and completed a postdoctoral fellowship at UC-Berkeley. His research interest lies in the area of wearable computer design and signal processing. His research has been funded by the NSF, NIH, DoD (TATRC), AFRL, AFOSR, DARPA, SRC and industry (Texas Instruments, Tektronix, Samsung & Telecom Italia). He has published over 140 papers in refereed journals and conferences. He has served as the general chair and technical program committee chair for several flagship conferences in the area of Wearable Computers including. He is the recipient of the NSF CAREER award in 2012, IEEE Real-Time & Embedded Technology & Applications Symposium (RTAS) best paper award in 2011 and Andrew P. Sage best transactions paper award from IEEE Systems, Man and Cybernetics Society in 2014. He is an associate editor for the IEEE Sensors Journal, IEEE Internet of Things Journal and IEEE Journal of Biomedical and Health Informatics.

    Harold Javid, Microsoft Research

    Harold JavidHarold Javid’s career spans industry and academia. After completing a PhD in EE from UIUC, Harold worked for small companies as electronics division manager and general manager developing real time embedded controls and industrial optimizers. In between, he worked in large companies including GE and Boeing as application engineer, researcher, and research manager. In 1998, after turning around a small company and then supporting its sale, he followed his heart back to his technical love—by joining Microsoft. In Microsoft Research, as director of academic outreach, he leads collaborations between Microsoft Research and universities in North America. One of Harold’s most fun responsibilities is as chief organizer of the Microsoft Research Faculty Summit. Harold is actively involved in service to the IEEE as a founding chair of the IEEE-CS Research Advisory Board and Division V director of the IEEE Board of Directors.

    Xiaoqian Jiang, University of California-San Diego

    Xiaoqian JiangXiaoqian Jiang is an assistant professor in the Department of Biomedical Informatics at the University of California San Diego. He received his PhD in Computer Science from Carnegie Mellon University. He is an associate editor of BMC Medical Informatics and Decision Making and serves as an editorial board member of Journal of American Medical Informatics Association. He works primarily in health data privacy and privacy-preserving federated biomedical data analysis. He received the distinguished paper award from American Medical Informatics Association Clinical Research Informatics (CRI) Summit in 2012 and 2013.

    Kim Laine, Microsoft Research

    Kim LaineKim Laine is a Post-Doc at Microsoft Research in the Cryptography Research group. He joined Microsoft in 2015 after graduating from University of California, Berkeley with a PhD in Mathematics. Kim’s current research interests revolve around the theme of “computing on encrypted data”, which involves studying and developing cryptographic techniques such as Homomorphic Encryption, and Secure Multi-Party Computation. In particular, his work shows that these techniques can be used to efficiently solve privacy-related problems in many contexts ranging from healthcare to finance. Kim is also the main developer of Microsoft’s newly released Homomorphic Encryption library SEAL.

    Susan Landau, Worcester Polytechnic Institute

    Susan LandauSusan Landau works at the intersection of cybersecurity, national security, law, and policy. She is the author of “Surveillance or Security? The Risks Posed by New Wiretapping Technologies,” (MIT Press), and co-author, with Whitfield Diffie, of “Privacy on the Line: the Politics of Wiretapping and Encryption.” Landau has testified to Congress and frequently briefed US and European policymakers on encryption, surveillance, and cybersecurity issues. She is Professor of Cybersecurity Policy at Worcester Polytechnic Institute and has previously been a Senior Staff Privacy Analyst at Google, a Distinguished Engineer at Sun Microsystems, and a faculty member at the University of Massachusetts and Wesleyan University. A 2015 inductee in the Cybersecurity Hall of Fame and a 2012 Guggenheim fellow, Landau is a fellow of the American Association for the Advancement of Science and of the Association for Computing Machinery.

    John Langford, Microsoft Research

    John LangfordJohn Langford is a machine learning research scientist, a field which he says “is shifting from an academic discipline to an industrial tool”.[1] He is the author of the weblog hunch.net and the principal developer of Vowpal Wabbit. John works at Microsoft Research New York, of which he was one of the founding members, and was previously affiliated with Yahoo! Research,[1] Toyota Technological Institute, and IBM’s Watson Research Center. He studied Physics and Computer Science at the California Institute of Technology, earning a double bachelor’s degree in 1997, and received his Ph.D. in Computer Science from Carnegie Mellon University in 2002. He was the program co-chair for the 2012 International Conference on Machine Learning.[1]

    John Launchbury, Information Innovation Office Director, Defense Advanced Research Projects Agency

    Dr. John LaunchburyJohn Launchbury is the Director of the Information Innovation Office (I2O) at DARPA. In this role he develops strategy and works with I2O program managers to develop new programs and transition program products. Before joining DARPA, Launchbury was chief scientist of Galois, Inc., which he founded in 1999 to address challenges in information assurance through the application of functional programming and formal methods. Under his leadership, the company experienced strong growth and was recognized for thought leadership in high-assurance technology development. Prior to founding Galois, Launchbury was a full professor at the OGI School of Science and Engineering at OHSU (Oregon). He earned awards for outstanding teaching and gained international recognition for his work on the analysis and semantics of programming languages, the Haskell programming language in particular. Professor Launchbury received first-class honors in mathematics from Oxford University, holds a Ph.D. in computing science from the University of Glasgow and won the British Computer Society’s distinguished dissertation prize. In 2010, Launchbury was inducted as a Fellow of the Association for Computing Machinery (ACM).

    Jennifer Listgarten, Microsoft Research

    Jennifer ListgartenJennifer Listgarten is a senior researcher at Microsoft Research in Cambridge, MA. Prior to joining Microsoft, Jennifer completed a Ph.D. in Computer Science in the machine learning group at the University of Toronto. Her work focuses on the development and application of novel statistical and machine learning methods for the analysis of high-throughput biological data. Her recent work has focused on problems in statistical genetics, epigenetics and CRISPR. Other areas she is or has worked in include cancer genetics, immunoinformatics, microarray expression and mass spectrometry-based proteomics.

    Jessica Lundin, Microsoft

    Jessica LundinJessica Lundin is a senior data scientist in Microsoft Health, working on personalized health from wearables. Her work at the intersection of machine learning and health is motivated by enhancing the data-driven health experience, in addition to demonstrating successful health-related outcomes at the individual and community scales. Her background includes a Masters in Applied Mathematics and Ph.D. in Geophysics from the University of Washington and her previous research includes neutrino detection, climate science, and glacier dynamics. Dr. Lundin has worked for two acquired start-ups and drives intelligent software products using machine learning and distributed computing.

    Rangan Majumder, Microsoft

    Rangan MajumderRangan Majumder is the Group Program Manager for Relevance and Artificial Intelligence in ASG. His team uses machine learning and artificial intelligence to solve customer and business problems across various products including: finding what you are looking for on the web through Bing; making you more productive through Cortana; finding that Office document you’re looking for through enterprise and OneDrive search; and using big data to make predictions for the topics you care about through Bing Predicts. His team is also trying to make major progress towards general intelligence by building a system with the cognitive capabilities of the human mind. His team works regularly with Microsoft Research whether its transferring their breakthroughs into the product group or contributing directly to their technology like CNTK.

    Vani Mandava, Microsoft Research

    Vani MandavaVani Mandava is a Senior Program Manager with Microsoft Research at Redmond with over a decade of experience designing and shipping software projects and features that are in use by millions of users across the world. Her efforts in the Microsoft Research Outreach team is to enable academic researchers and institutions develop technologies that fuel data-intensive scientific research using advanced techniques in data management, data mining, especially leveraging Microsoft cloud platform through the Azure for Research program. She leads Microsoft Research Academic Outreach North America efforts at University of California, Berkeley and Massachusetts Institute of Technology. Vani holds a Master’s degree in Computer Science with a focus on machine learning from State University of New York at Buffalo. She has enabled the adoption of data mining best practices in various v1 products across Microsoft client, server and services in MS-Office, SharePoint and Online Services (Bing Ads) organizations. She co-authored a book ‘Developing Solutions with Infopath’.

    Rob Mauceri, Microsoft

    Rob MauceriRob Mauceri is Director of Core Data Science in the Windows and Devices Group, where he leads a team of over 130 data scientists and engineers responsible for creating a center of excellence in the application of data science to improve Microsoft devices, operating systems, and services for phones, tablets, PCs, Xbox console, wearables, and IOT. Core Data Science drives data analytics and engineering for top level WDG Power Metrics and Mission Control for OS flighting and experimentation. The data science practice includes analyses and applied machine learning for a broad set of use cases including OS and device health (performance, reliability, battery life, etc.), understanding usage, customer segmentation, real-time anomaly detection, business modeling for device price prediction, adoption of updates and engineering system improvements. Data scientists work directly with engineering teams building product experiences including the Windows shell, Edge browser, Cortana, in-box apps for photos, maps, as well as partner teams in the MS Games Studio, Surface, Xbox, the Business Group and more. Rob’s prior role was Director of Program Management for Windows Internet Explorer, leading the team responsible for the design and development of the popular web browser for Windows, including IE9, IE10, IE11, and touch-first IE in Windows 8. For the last 20 years Rob led teams of program managers and software engineers working on Microsoft’s web services, platform, and tools across Office and Windows including FrontPage, SharePoint Designer, and Office Live Workspace. Before coming to Microsoft, Rob was one of the first developers at Vermeer Technologies, creator of Vermeer FrontPage (acquired by Microsoft in 1996), and at The MathWorks where he helped create the first Windows version of MATLAB and SIMULINK, and invented MATLAB Notebook, an interactive, live computational document format with Microsoft Word and MATLAB. Rob holds a bachelor’s degree in Electrical Engineering from Worcester Polytechnic Institute in Worcester, Massachusetts where he graduated with distinction. He currently resides in Seattle, Washington with his wife and three daughters.

    Vishal Misra, Columbia University

    Vishal MisraVishal Misra is a Professor in the Department of Computer Science at Columbia University, with a joint appointment in the Electrical Engineering Department and an IEEE Fellow. His research emphasis is on mathematical modeling of networking systems, bridging the gap between practice and analysis. He received his undergraduate degree from IIT Bombay and MS and PhD degrees from the school of engineering at University of Massachusetts at Amherst, which gave him a distinguished alumnus award in 2014. He is also the recipient of the NSF Career, DoE Career, IBM and Google Faculty awards. He co-founded two startups, cricinfo (acquired by ESPN) and Infinio.

    Shoaib Mohammed, Microsoft Research

    Mohammed ShoaibShoaib Mohammed (S’08, M’13) received his B.Tech. and M.Tech. degrees in Electrical Engineering from IIT Madras and the M.A. and Ph.D. degrees in Electrical Engineering from Princeton University in 2007, 08, 10 and 13, respectively. Since 2013, he has been working as a Researcher at Microsoft Research, Redmond. His work is focused on building low-energy sensing and computing systems, which include components of machine learning, signal processing and computer vision. He has co-authored 2 book chapters, 14 patents, and 30 technical papers in this area. He has served as a fellow of the McGraw Center for Teaching and Learning NJ in 2012. He is a recipient of the 2012 Harold W. Dodds Honorific fellowship and the Gordon Wu Prize for Excellence from Princeton University, and the 2011 Qualcomm Ph.D. fellowship and the Roberto Padovani Scholarship.

    Andrés Monroy-Hernández, Microsoft Research

    Andres Monroy-HernandezAndrés Monroy-Hernández is a researcher at Microsoft Research, and an affiliate professor at the University of Washington. His work focuses on the design and study of social computing systems for large scale collaboration.

    His research has received best paper awards at CHI, CSCW, ICWSM, and HCOMP, recognized at Ars Electronica, and featured in The New York Times, The Guardian, NPR, and Wired. Andrés was named one of the TR35 Innovators by the MIT Technology Review (Spanish), and one of CNET’s influential Latinos in Tech.

    He holds a Ph.D. from the MIT Media Lab, where he led the creation of the Scratch Online Community website.

    Mayur Naik, Georgia Institute of Technology

    Mayur NaikMayur Naik is an Associate Professor in the School of Computer Science at Georgia Tech since 2011. His research interests lie in areas related to programming systems, with a current emphasis on program analysis techniques for improving software quality and programmer productivity on modern computing platforms. He is a recipient of the Lockheed-Martin Dean’s award for excellence in teaching at Georgia Tech (2015), an NSF CAREER award (2013), and Distinguished Paper awards at FSE 2015, PLDI 2014, and ICSE 2009. He received his Ph.D. in Computer Science from Stanford University in 2008 and was a Research Scientist at Intel Labs, Berkeley from 2008 to 2011.

    Suman Nath, Microsoft Research

    Suman NathSuman Nath is a principal researcher at Microsoft Research. His current research focuses on data management, cloud, and mobile systems. His research has own several best paper awards at top conferences including ACM MobiSys 2012, IEEE ICDE 2008, and Usenix NSDI 2006. He holds a Ph.D. in computer science from CMU (2005).

    Juan Carlos Niebles, Stanford University

    Juan Carlos NieblesJuan Carlos Niebles received a B.S. degree in Electronics Engineering from Universidad del Norte (Colombia) in 2002, a M.Sc. degree in Electrical and Computer Engineering from University of Illinois at Urbana-Champaign in 2007, and a Ph.D. degree in Electrical Engineering from Princeton University in 2011. He is a Senior Research Scientist at the Stanford AI Lab and Associate Director of Research at the Stanford-Toyota Center for AI Research since 2015. He is also an Assistant Professor in Electrical and Electronic Engineering in Universidad del Norte (Colombia) since 2011. His research interests are in computer vision and machine learning, with a focus on visual recognition and understanding of human actions and activities, objects, scenes and events. His computer vision research has been sponsored by a Google Faculty Research award (2015), the Microsoft Research Faculty Fellowship (2012), a Google Research award (2011) and the Colombian science agency – COLCIENCIAS.

    Jitendra Padhye, Microsoft Research

    Jitu PadhyeJitendra Padhye is a Principal Researcher at Microsoft Research. He is interested in all aspects of computer networking and networked systems. His recent work has focused on data center networks and mobile computing. He is the recipient of the ACM SIGCOMM’s Test of Time award. He received his PhD in Computer Science from University of Massachusetts Amherst in 2000.

    Joe Paradiso, Massachusetts Institute of Technology

    Joseph ParadisoJoe Paradiso is the Alexander W. Dreyfoos (1954) Professor in Media Arts and Sciences at the MIT Media Laboratory, where he has directed the Responsive Environments group for nearly 20 years. His current research explores how sensor networks augment and mediate human experience, interaction and perception. He received his PhD in Physics from MIT in 1981 and a BSEE from Tufts University in 1977. After two years developing precision drift chambers at the Lab for High Energy Physics at ETH in Zurich, he joined the Draper Laboratory in 1984, where his research encompassed spacecraft control systems, image processing algorithms, underwater sonar, and precision alignment sensors for large high-energy physics detectors. He joined the Media Lab in 1994, where his research interests have included embedded sensing systems and sensor networks, wearable and body sensor networks, energy harvesting and power management for embedded sensors, ubiquitous and pervasive computing, localization systems, passive sensor architectures, human-computer interfaces, & interactive media. He has over 250 publications and 17 issued patents in fields ranging from high-energy physics to computer music, is a member of the APS and ACM and a senior member of the IEEE and AIAA.

    Bryan Parno, Microsoft Research

    Bryan ParnoBryan Parno is a Researcher at Microsoft Research. After receiving a Bachelor’s degree from Harvard College, he completed his PhD at Carnegie Mellon University, where his dissertation won the 2010 ACM Doctoral Dissertation Award. In 2011, he was selected for Forbes’ 30-Under-30 Science List. He formalized and worked to optimize verifiable computation, receiving a Best Paper Award at the IEEE Symposium on Security and Privacy his advances. He coauthored a book on Bootstrapping Trust in Modern Computers, and his work in that area has been incorporated into the latest security enhancements in Intel CPUs. His research into security for new application models was incorporated into Windows and received a Best Paper Awards at the IEEE Symposium on Security and Privacy and the USENIX Symposium on Networked Systems Design and Implementation. He has recently extended his interest in bootstrapping trust to the problem of building practical, formally verified secure systems.

    Jignesh Patel, University of Wisconsin-Madison

    Jignesh PatelJignesh Patel is a Professor in Computer Sciences at the University of Wisconsin-Madison. His papers have been selected as the “best papers in the conference” at VLDB (2012), SIGMOD (2011) and ICDE (2010, 2011). He has a strong interest in seeing research ideas transition to actual products. His Ph.D. thesis work was acquired by NCR/Teradata in 1997. In 2007 he founded Locomatix, which became part of Twitter in 2013, and seeded the technology that became Heron. Heron now powers all real-time services at Twitter. His last company, Quickstep Tech. was acquired by Pivotal in 2015. He founded the NEST entrepreneurship contest at the U. Wisconsin in 2009. This contest has contributed to the creation of a number of startups that collectively have created over a 100 jobs in the city of Madison. Jignesh was named as one of the top technology entrepreneurs in Madison in 2013. He also enjoys teaching and is the recipient of the Wisconsin “COW” Teaching Award, and the U. Michigan College of Engineering Education Excellence Award. He is an ACM Fellow, and serves on the board of Lands’ End and a number of technology startups. You can also follow his ‘Big and Fast Data Blog’.

    Dana Pe'er, Colombia University

    Dana Pe'erDana Pe’er develops computational methods that integrate diverse high-throughput data to provide a holistic, systems-level view of molecular networks. Currently she has two key focuses: developing computational methods to interpret single cell data and understand cellular heterogeneity; modeling how genetic and epigenetic variation alters regulatory network function and subsequently phenotype in health and disease. This path has led her to explore how systems biology approaches can be used to personalize cancer care. Dana is recipient of the Burroughs Welcome Fund Career Award, NIH Directors New Innovator Award, NSF CAREER award, Stand Up to Cancer Innovative Research Grant and a Packard Fellow in Science and Engineering.

    Hoifung Poon, Microsoft Research

    Hoifung PoonHoifung Poon is a researcher at Microsoft Research. His research interests lie in advancing machine learning and natural language processing (NLP) to help automate discovery in genomics and precision medicine. His most recent work focuses on scaling semantic parsing to PubMed for extracting biological pathways, and on developing probabilistic methods to incorporate pathways with high-throughput omics data in cancer systems biology. Hoifung received his PhD from the University of Washington under the supervision of Pedro Domingos. He has received Best Paper Awards in premier NLP and machine learning venues such as the Conference of the North American Chapter of the Association for Computational Linguistics, the Conference of Empirical Methods in Natural Language Processing, and the Conference of Uncertainty in AI.

    Winifred Poster, Washington University-St. Louis

    Winifred PosterWinifred Poster is a sociologist with degrees from UC Berkeley (BA) and Stanford University (PhD). She currently teaches at Washington University, St. Louis, with recent visiting positions at the University of Hyderabad in India, Linköping and Örebro Universities in Sweden, the University of Paderborn in Germany, the University of Toronto, and the Intel Science & Technology Center for Social Computing at UC Irvine. Her interests are in digital globalization, feminist labor theory, and Indian outsourcing. Under several grants from the National Science Foundation, she has been following high-tech labor processes from the US to India, both in earlier waves of computer manufacturing and software, and later waves of back-office data processing and call center work. Her research explores the labors of surveillance, crowdsourcing, the gendering of cybersecurity, and the automation of service work. Her book with Marion Crain and Miriam Cherry Invisible Labor (University of California Press, 2016) uncovers hidden forms of work in the emerging consumptive, technology, and global economies. Borders in Service with Kiran Mirchandani (University of Toronto Press, forthcoming) underscores the connections between labor and nation in transnational service work.

    Chris Quirk, Microsoft Research

    Chris QuirkAfter studying Computer Science and Mathematics at Carnegie Mellon University, Chris joined Microsoft in 2000 to work on the Intentional Programming project, an extensible compiler and development framework. He moved to the Natural Language Processing group a year later in 2001. Quirk’s research has primarily focused on building the statistical machine translation systems powering Microsoft Translator. Particularly on syntax-informed translation systems powering many of the high-traffic translation systems. More recently he’s been investigating applications of NLP techniques to biological data, and building systems that bridge natural language and programming code.

    Christopher Re, Stanford University

    Christopher ReChristopher (Chris) Re is an assistant professor in the Department of Computer Science at Stanford University and a Robert N. Noyce Family Faculty Scholar. His work’s goal is to enable users and developers to build applications that more deeply understand and exploit data. Chris received his PhD from the University of Washington in Seattle under the supervision of Dan Suciu. For his PhD work in probabilistic data management, Chris received the SIGMOD 2010 Jim Gray Dissertation Award. He then spent four wonderful years on the faculty of the University of Wisconsin, Madison, before moving to Stanford in 2013. He helped discover the first join algorithm with worst-case optimal running time, which won the best paper at PODS 2012. He also helped develop a framework for feature engineering that won the best paper at SIGMOD 2014. In addition, work from his group has been incorporated into scientific efforts including the IceCube neutrino detector and PaleoDeepDive, and into Cloudera’s Impala and products from Oracle, Pivotal, and Microsoft’s Adam. He received an NSF CAREER Award in 2011, an Alfred P. Sloan Fellowship in 2013, a Moore Data Driven Investigator Award in 2014, the VLDB early Career Award in 2015, and the MacArthur Foundation Fellowship in 2015.

    Meredith Ringel Morris, Microsoft Research

    Meredith MorrisMeredith Ringel Morris is a senior researcher at Microsoft Research in Redmond, where she conducts research at the intersection of HCI, social computing, and accessible computing. A more detailed biography, project descriptions, and publications are available on her website.

    Mark Russinovich, Chief Technology Officer, Microsoft Azure

    Mark RussinovichMark Russinovich is Chief Technology Officer for Microsoft Azure, Microsoft’s global enterprise-grade cloud platform. A widely recognized expert in distributed systems and operating systems, Mark earned a Ph.D. in computer engineering from Carnegie Mellon University. He later co-founded Winternals Software, joining Microsoft in 1996 when the company was acquired. Today he remains the primary author of the Sysinternals tools and website, which include dozens of popular Windows administration and diagnostic utilities. Mark is a popular speaker at industry conferences such as IPExpo, Microsoft Ignite and Build, and RSA Conference. He has also authored several nonfiction and fiction books, including the Microsoft Press Windows Internals book series, as well as fictional cyber security thrillers Zero Day, Trojan Horse and Rogue Code.

    Eran Segal, Weizmann Institute of Science

    Eran SegalEran Segal is a Professor at the Department of Computer Science and Applied Mathematics at the Weizmann Institute of Science, heading a multi-disciplinary team of computational biologists and experimental scientists in the area of Computational and Systems biology. His group has extensive experience in machine learning, computational biology, probabilistic models, and analysis of heterogeneous high throughput genomic and clinical data. His research focuses on understanding the effect of genetic variation among human individuals, and on the relationship between nutrition, health, and gut microbes in human individuals, with the aim of developing personalized nutrition and personalized medicine. You can learn more about his research on the lab website.

    Prof. Segal published over 100 publications, and received several awards and honors for his work, including the Overton prize, awarded annually by the International Society for Bioinformatics (ICSB) to one scientist for outstanding accomplishments in the field of computational biology, and the Michael Bruno award. He was recently elected as an EMBO member and as a member of the young Israeli academy of science.

    Education: Prof. Segal was awarded a B.Sc. in Computer Science summa cum laude in 1998, from Tel-Aviv University, and a Ph.D. in Computer Science and Genetics in 2004, from Stanford University. Before joining the Weizmann Institute, Prof. Segal held an independent research position at Rockefeller University, New York.

    Ben Shapiro, University of Colorado

    Ben ShapiroBen Shapiro is an Assistant Professor in the ATLAS Institute, the Department of Computer Science, and, by courtesy, in the School of Education at the University of Colorado Boulder. His research group, the Laboratory for Playful Computation, investigates how to enable kids from diverse backgrounds to learn computer science through collaborative, creative expression and through the design of networked technologies to solve problems in their homes and communities. He received his PhD in Learning Sciences from Northwestern University and was a postdoctoral fellow at the University of Wisconsin—Madison.

    Patrice Simard, Microsoft Research

    Patrice SimardPatrice Simard is a Distinguished Engineer at Microsoft Research, Redmond. He is passionate about finding new ways to combine engineering and science in the field of machine learning. Simard’s research is currently focused on making machine learning widely accessible for replicating tasks easily done by humans. He received a PhD in Computer Science from the University of Rochester in 1991. Simard then worked at AT&T Bell Laboratories before joining Microsoft Research in 1998. He was Chief Scientist and General Manager of Live Labs Research in 2006 and Chief Scientist of Microsoft’s AdCenter in 2009. In 2012, he returned to Microsoft Research to create the Computer-Human Interactive Learning group. In 2015, he became Deputy Managing Director at Microsoft Research.

    Lenin Ravindranath Sivalingam, Microsoft Research

    Lenin Ravindranath Sivalingam

    Lenin Ravindranath Sivalingam is a Researcher at Microsoft Research. He obtained his Ph.D. from MIT in 2014. His research interests include mobile computing and distributed systems with an emphasis on improving performance and reliability of mobile and cloud applications. Lenin has published many papers at top-tier venues including OSDI, SOSP, NSDI, MobiSys, and SenSys and has filed over a dozen patents. His work on low-energy trajectory mapping won the best paper award at SenSys 2009. He received Cisco Graduate Fellowship in 2008 and Microsoft Research Graduate Fellowship in 2011.

    Joshua R. Smith, University of Washington

    Joshua R. SmithJoshua R. Smith is currently an Associate Professor of Computer Science and Electrical Engineering at the University of Washington, where he leads Sensor Systems Laboratory and research group. His research there focusses on inventing new sensor systems, devising new ways to power them, and developing algorithms for using them. This research has applications in the domains of ubiquitous computing, robotics, medical devices and HCI. His group works develops novel sensors for robotic manipulation, resonant (non-radiative) wireless power transfer, and (radiative) wirelessly powered sensing platforms. Formerly, he was a principal investigator at Intel Research Seattle, where he led projects in robotics, wireless power and wireless sensing. At Intel, he founded the Wireless Resonant Energy Link (WERL) project, which aims to transfer tens of watts of power, wirelessly. Smith completed his PhD at the MIT Media Lab in 1999, under Neil Gershenfeld.

    David Soloveichik, University of Texas

    David SoloveichikDavid Soloveichik is an Assistant Professor at the Department of Electrical and Computer Engineering at The University of Texas at Austin. Previously, David was a Fellow at the Center for Systems and Synthetic Biology at the University of California, San Francisco. He received his undergraduate and Master’s degree from Harvard University in Computer Science. He completed his PhD degree in Computation and Neural Systems at the California Institute of Technology, where his dissertation was awarded the Milton and Francis Clauser Doctoral Prize for the best doctoral thesis. David’s scientific area of interest is Molecular Programming: the engineering of complex molecular systems for synthetic biology, nanotechnology, and bioengineering. He is also studying underlying theoretical connections between distributed computing and molecular information processing. David was the recipient of the Feynman Prize in Nanotechnology (Theory) from the Foresight Institute in 2012, and the Tulip Award from the International Society for Nanoscale Science, Computation and Engineering in 2014.

    Dr. Krysta Svore, Microsoft Research

    Krysta SvoreDr. Krysta Svore is a Senior Researcher at Microsoft Research in Redmond, Washington, where she manages the Quantum Architectures and Computation group. Svore’s research includes the development and implementation of quantum algorithms, including the design of a scalable, fault-tolerant software architecture for translating a high-level quantum program into a low-level, device-specific quantum implementation, and the study of quantum error correction codes and noise thresholds. She has also developed machine-learning methods for web applications, including ranking, classification, and summarization algorithms. Dr. Svore received an ACM Best of 2013 Notable Article award. In 2010, she was a member of the winning team of the Yahoo! Learning to Rank Challenge. She received her Ph.D. in Computer Science with highest distinction from Columbia University in 2006 and her B.A. from Princeton University in Mathematics and French in 2001. She is a Senior Member of the Association for Computing Machinery (ACM), serves as a representative for the Academic Alliance of the National Center for Women and Information Technology (NCWIT), and is an active member of the American Physical Society (APS).

    Ivan Tashev, Microsoft Research

    Ivan TashevDr. Ivan Tashev toke his Master’s degree in Electronic Engineering (1984) and PhD in Computer Science (1990) from the Technical University of Sofia, Bulgaria. He was Assistant Professor in the same university when in 1998 joined Microsoft. Currently Dr. Tashev is a Partner Architect and leads the Audio and Acoustics Research Group in Microsoft Research Labs in Redmond, USA. He has published four books, more than 70 papers, 30 US patents. Dr. Tashev created audio processing technologies incorporated in Windows, Microsoft Auto Platform, and Round Table device. He served as the audio architect for Kinect for Xbox and Microsoft HoloLens.

    Zach Tatlock, University of Washington

    Zachary TatlockZach Tatlock is an Assistant Professor in Computer Science and Engineering at the University of Washington where he is a member of the Programming Languages and Software Engineering (PLSE) group. His research improves software reliability by developing tools that help programmers ensure their code is safe and accurate. Along with his students, he focuses on software infrastructure that many other programs rely on (compilers, distributed systems, networks, web browsers); control programs in safety-critical applications (radiotherapy devices, robotics); and approximations used in engineering and manufacturing (floating point, 3D printing).

    Jaime Teevan, Microsoft Research

    Jaime TeevanJaime Teevan is a Principal Researcher at Microsoft Research and affiliate faculty at the University of Washington. Working at the intersection of human computer interaction, information retrieval, and social media, she studies people’s information seeking activities. Much of her research focuses on the social and temporal context of information use, and she developed the first personalized search algorithm used by Bing. Her accomplishments have been honored with Technology Review (TR35) Young Innovator and Borg Early Career awards. She has published over one hundred technical articles, books, award papers, and patents, and has given keynotes at CIKM, UMAP, TEDx, and Web Science. Jaime received a Ph.D. from MIT and a B.S. in Computer Science from Yale University.

    Kristin M. Tolle, Microsoft Research

    Kristin_Tolle75x105Kristin M. Tolle, Ph.D. is the Director of the Data Science Training Program Management team in the Advanced Analytics Ecosystem Development Team at Microsoft—part of the Data Science Platform team. She is also an Adjunct Faculty and Senior Data Scientist at the University of Washington’s eScience Research Institute. Since joining Microsoft in 2000, Dr. Tolle has acquired numerous patents and spent a significant portion of her career working in Microsoft Research. New to her present role, she is always on the lookout for data science talent partnered with excellent communications skills and curiosity. During her time in Research she successfully managed several critical research development projects such as the Microsoft Translator Hub and the Environmental Science Services Toolkit. Dr. Tolle is also co-editor and author, with Tony Hey and Stewart Tansley, of one of the earliest books on data science, The Fourth Paradigm: Data Intensive Scientific Discovery. Her current focus is on educating partners on how to use advanced cloud-based analytics to better meet their business objectives and educating next generation data scientists.

    Evelyne Viegas, Microsoft Research

    Evelyne ViegasEvelyne Viegas is the Director of Artificial Intelligence Outreach at Microsoft Research, based in Redmond, U.S.A. In her current role, Evelyne is building initiatives which focus on information seen as an enabler of innovation, working in partnership with universities and government agencies worldwide. In particular she is creating programs around computational intelligence research to drive open innovation and agile experimentation via cloud-based services; and projects to advance the state-of-the-art in artificial intelligence and data-driven research including knowledge representation, machine learning and reasoning under uncertainty at scale.

    Xi Wang, University of Washington

    Xi WangXi Wang is an assistant professor in Computer Science & Engineering at the University of Washington. His research interests are in building secure and reliable systems. His recent work focuses on improving systems software through bug finding and formal verification techniques. Xi received his PhD from MIT.

    Dave Wecker, Microsoft

    Dave WeckerDave Wecker came to Microsoft in 1995 and helped create the “Blender” (digital video post-production facility). He designed and worked on a Broadband MSN offering when he became architect for the Handheld PC v1 & v2 as well as AutoPC v1 and Pocket PC v1. He moved to Intelligent Interface Technology and resurrected SHRDLU for Natural Language research as well as building a state of the art Neural Network based Speech Recognition system. For the Mobile Devices Division, he implemented secure DRM on e-books and Pocket PCs. He created and was director of ePeriodicals before taking on the role of Architect for Emerging Technologies. This lead to starting the Machine Learning Incubation Team and then architect for Parallel Computing Technology Strategy working on Big Data and now Quantum Computing. He has over 20 patents for Microsoft and 9 Ship-It awards. He started coding professionally in 1973, worked in the AI labs at CMU while obtaining a BSEE and MSIA and was at DEC for 13 years (ask him about DIDDLY sometime ;).

    Norman A. Whitaker, Managing Director of Special Projects, Microsoft Research

    Norm WhitakerNorman A. Whitaker is a Microsoft distinguished scientist and managing director of Microsoft Research Special Projects. As head of that group, he provides a structure for projects with focused objectives aimed at altering and expanding what people imagine is possible with technology.

    Previously, Whitaker served as deputy director of the Information Innovation Office at DARPA, the U.S. Defense Advanced Research Projects Agency. Whitaker also served as deputy director of the Transformational Convergence Technology Office, as special assistant to the DARPA director, and as program manager for the DARPA Urban Challenge autonomous-vehicle program. He also was centrally involved in planning the 2005 Grand Challenge. Before his work at DARPA, Whitaker was CEO of the Escher Research Institute, which he co-founded in 2003, chief technology officer of Puritan Research, and a program manager at DARPA. From 1986 to 1997, he was on the research staff at AT&T Bell Laboratories.

    Whitaker received his Bachelor of Science (1979), his Master of Science (1983), and his Ph.D. (1986) in electrical engineering and computer science from the Massachusetts Institute of Technology. He is a member of the IEEE.

    Ian White, University of Cambridge

    Ian WhiteProf Ian White is currently Master of Jesus College, van Eck Professor of Engineering, Deputy Vice-Chancellor and Head of Photonics Research at the Department of Engineering, University of Cambridge. Ian is originally from Northern Ireland, coming up to Jesus College in 1977 to read Engineering. He gained his BA and PhD degrees from the University of Cambridge in 1980 and 1984. He was then appointed a Research Fellow and Assistant Lecturer at the University of Cambridge before becoming Professor of Physics at the University of Bath in 1990. He moved in 1996 to the University of Bristol, before returning to the University of Cambridge in October 2001. At Cambridge he has also previously held the roles of Head of the School of Technology and Pro-Vice-Chancellor for Institutional Affairs. Ian has contributed to a variety of research activities in photonics, ranging from short pulse laser diodes, optoelectronic components for signal processing and routing, high speed components for data communications, to techniques for transmitting digital and radio frequency signals over long distances of multimode optical fibre. He has published in excess of 900 journal and conference papers, and is co-founder of Zinwave Ltd and Pervasid Ltd. Ian is a Fellow of the Royal Academy of Engineering, the Institution of Electrical Engineers and the Institute of Electrical and Electronics Engineers. He is heavily involved in policy development and administration of research and sits on a number of International Conference Committees. He is an Editor-in-Chief of Electronics Letters and of Nature Microsystems and Nanoengineering.

    Keith Winstein, Stanford University

    Keith WinsteinKeith Winstein is an assistant professor of computer science and, by courtesy, of law at Stanford University. His work applies statistical and predictive approaches to teach computers to design better network protocols and applications. Winstein and colleagues created the Mosh (mobile shell) tool for remote access over challenged networks, the Sprout algorithm for transporting video over cellular networks, and the Remy system, in which computers design network protocols from first principles. He has received the Applied Networking Research Prize (2013), a Sprowls Award for the best doctoral dissertation in computer science at MIT (2014), and the ACM SIGCOMM Doctoral Dissertation Award (2015). From 2007 to 2010, Winstein worked as a staff reporter at The Wall Street Journal.

    Lin Xiao, Microsoft Research

    Lin XiaoLin Xiao is a senior researcher at Microsoft Research Redmond, WA. His current research interests include theory and algorithms for large-scale optimization, randomized and online algorithms for machine learning, and parallel and distributed computing. He received Ph.D. in Aeronautics and Astronautics from Stanford University in 2004. Before joining Microsoft in 2006, he was a postdoctoral fellow in the Center for the Mathematics of Information at California Institute of Technology.

    Eric Xing, Carnegie Mellon University

    Eric XingDr. Eric Xing is a professor in the School of Computer Science at Carnegie Mellon University, as well as the Director of the newly established Center for Machine Learning and Health. His principal research interests lie in the development of machine learning and statistical methodology, and large-scale computational system and architecture, for solving problems involving automated learning, reasoning, and decision-making in high-dimensional, multimodal, and dynamic possible worlds in complex systems. Professor Xing received a Ph.D. in Molecular Biology from Rutgers University, and another Ph.D. in Computer Science from UC Berkeley. His current work involves, 1) foundations of statistical learning, including theory and algorithms for estimating time/space varying-coefficient models, sparse structured input/output models, and nonparametric Bayesian models; 2) framework for parallel machine learning on big data with big model in distributed systems or in the cloud; 3) computational and statistical analysis of gene regulation, genetic variation, and disease associations; and 4) application of statistical learning in social networks, data mining, and vision.

    Junfeng Yang, Columbia University

    Junfeng YangJunfeng Yang is a Computer Science professor at Columbia University; Co-director of Columbia’s Software Systems Lab; and Co-founder and CEO of NimbleDroid, a Columbia spin-off in NYC that invents cutting-edge tools to redefine how developers craft awesome apps. Previously he was a consultant and researcher at Microsoft and earned his PhD in Computer Science at Stanford. Junfeng’s primary research interests center on making high-performance, reliable, and secure systems. The systems and tools he created have been applied to analyze, test, and run real-world software such as Linux, benefiting hundreds of millions of users. His research has been covered by Communications of ACM, The Register, and numerous sites. His awards include Google Faculty Research Award, Sloan Research Fellowship, Air Force Office of Scientific Research Young Investigator Award, National Science Foundation Career Award, and OSDI Best Paper Award.

    Matei Zaharia, Massachusetts Institute of Technology

    Matei ZahariaMatei Zaharia is an assistant professor of computer science at MIT as well as CTO of Databricks, the company commercializing Apache Spark. He is broadly interested in computer systems, data centers and data management. He started the Spark project while he was a PhD student at UC Berkeley, and he has also contributed to other open source cluster computing projects such as Apache Mesos and Apache Hadoop. Matei received the 2014 ACM Doctoral Dissertation Award for his graduate work.

    Nickolai Zeldovich, Massachusetts Institute of Technology

    Nickolai ZeldovichNickolai Zeldovich is an Associate Professor at MIT’s department of Electrical Engineering and Computer Science, and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research interests are in building practical secure systems, from operating systems and hardware to programming languages and security analysis tools. He received his PhD from Stanford University in 2008, where he developed HiStar, an operating system designed to minimize the amount of trusted code by controlling information flow. Two of his current research projects are building formally verified systems software and developing an encrypted messaging system that hides metadata.

    Lidong Zhou, Microsoft Research

    Lidong ZhouLidong Zhou is a Principal Researcher and Research Manager of the Systems Research Group at Microsoft Research Redmond. He started his career at Microsoft Research Silicon Valley in 2002 and moved to Microsoft Research Asia in 2008 to lead systems research at Microsoft Research Asia for another 6 years. His research spans both the theory and practice of distributed systems. He served on the program committees of top systems conferences such as SOSP, OSDI, PODC, DISC, NSDI, and Eurosys, and is an associated editor of ACM Transactions on Storage. He is the general co-Chair of SOSP 2017 in China after years of effort to bring SOSP to the Asia-Pacific region. He has been playing a key technical role in the design and development of several key Microsoft distributed system infrastructure and platforms. He received his Ph.D. in Computer Science from Cornell University.

    Technology Showcase

    Technology Showcase

    Exhibit 1: Microsoft Academic: research more, search less

    Contact: Alex Wade

    Microsoft Academic services includes a set of APIs and data that make it easier to build robust apps, and tap into rich, academic data. Plus, you can use the set of productivity tools and services that make it easy to stay-up-to-date on the latest research papers, people, journals, conferences and news.

    Exhibit 2: Microsoft Cognitive Services: intelligence at your fingertips

    Contact: Anna Roth

    Microsoft Cognitive Services API collection lets you tap into an ever-growing collection of powerful AI algorithms developed by experts in their fields from Microsoft Research—intelligences like vision, speech, language, and knowledge. They simplify a variety of AI-based tasks, giving you a quick way to add top-of-the-line intelligence technologies to your apps with just a few lines of code. Simply drop the REST API call into your app’s code and you’re set.

    Exhibit 3: Project Malmo - Experimentation platform for the next generation of AI research

    Contacts: Katja Hofmann and Tim Hutton

    We present Project Malmo, an open source AI experimentation platform, designed to support fundamental research in artificial intelligence. Recent research in machine learning, cognitive science, neuro-science and other related areas have led to a renewed interest in general artificial intelligence. With the Project Malmo platform, Microsoft aims to provide an experimentation environment in which promising approaches can be systematically and easily compared, and that fosters collaboration between researchers. The Project Malmo platform is designed to provide a powerful and flexible platform for empirical research that pushes towards addressing fundamental AI research challenges, such as the role of different types of memory, integration of multi-model, high-dimensional sensory data, life-long learning, just to name a few. Project Malmo achieves flexibility by building on top of Minecraft, a popular computer game with millions of players. The game is particularly appealing due to its open ended nature, collaboration with other players, and creativity in game-play. Exactly these same characteristics make it so interesting for AI research. They allow experimenters to create training and test scenarios that range from simple reactive tasks to complex interaction with other agents and even human players. In this demo, we showed the capabilities of the Project Malmo platform, and the kind of research they can enable. These range from 3D navigation tasks to interactive scenarios where agents compete or collaborate to achieve a goal. We gave a brief look under the hood of our system, and showed how new tasks and agents can be easily implemented and experimented with.

    Exhibit 4: Quantum computing: LIQUi|>

    Contact: Dave Wecker

    LIQUi|> is a software architecture and toolkit for quantum computing. It includes a programming language, optimization and scheduling algorithms, and quantum simulators. The Academic release of LIQUi|> includes state-of-the-art circuit simulation of up to 23 qubits on a single machine. LIQUi|> can be used to translate a quantum algorithm written in the form of a high-level program into the low-level machine instructions for a quantum device. The toolkit includes a compiler, optimizers, translators, various simulators and a host of examples. The complete platform is freely available directly from GitHub.

    Exhibit 5: Systems exhibits from applied sciences

    Contact: Jim Holbery

    The PTFE Laboratory aims to explore the intersection of printed, textile and flexible electronics to define the next computer user interface frontier. Printed electronic capabilities enable the manufacturing of low cost electronic sensors and is a vehicle for new designs that will scale in a cost-effective manner. Flexible electronics offer an opportunity to shift thinking of the human computer interface through new functionality, enabling applications once not possible.

    Exhibit 6: Spatial audio for augmented and virtual reality

    Contacts: Ivan Tashev and David Johnston

    The demo showed the advantages provided by the spatial audio in HoloLens device for augmented and virtual reality scenarios, such as gaming, entertainment and virtual presence. While the human vision has certain limited field of view, restricted in addition by the device, humans can hear and locate sound sources coming from 360 degrees (actually 4 pi steradians). We will demonstrate the abilities of the spatial audio to complement the vision and enhance the overall experience for users of a HoloLens device. During the demo the attendee wears a HoloLens device and plays a short interactive game (spatial sound, vision, gesture, voice – 1 minute), watches short movie segment with virtual surround sound on a virtual screen (1 minute), looks/listens around selected places where we have recorded 3D video and audio (1 minute).

    Exhibit 7: Local knowledge: events and shopping

    Contacts: Jessica Wolk and Dany Rouhana

    We want to know more about nearby things, asking questions like “Where can I go to buy that thing?” or “What is going on around me?” We have mined Web browsing logs, Web pages, and Twitter to find local events and discover which stores sell which products. Our store-finder can find nearby stores that sell a given product, which is useful for local search and Cortana reminders. Our local event detector automatically finds events, both planned and unplanned, and presents summaries in the form of event tweets. Our demonstration showed an interactive map that let users browse the local knowledge that we discovered.

    Exhibit 8: Introducing Microsoft.com/research

    Contact: Tricia Mayer

    Microsoft is pleased to announce the launch of the new Microsoft Research website: microsoft.com/research. Through this new experience, we encourage you to explore the research and innovation thriving in research teams all across the company. This web site is part of an evolving approach to keep you and your students informed of opportunities for engagement, and to provide access to Microsoft researchers and their work. Explore the site and help us evolve it even further by providing your perspective and feedback.

    Exhibit 9: The BBC micro:bit and Microsoft Touch Develop

    Contact: Tom Ball

    From its conception in 2011, the Touch Develop project has been about bringing the joy of learning to program modern devices such as smartphones and tablets, as well as laptops and desktops. The Touch Develop team is proud to be part of the BBC micro:bit project. The BBC micro:bit is a small wearable and programmable mbed-based device that visibly features a 5×5 LED display, accelerometer, compass, buttons, I/O pins, Micro USB plug, Bluetooth Low Energy antenna, ARM Cortex-M0 processor, and battery plug. The micro:bit provides a fun introduction to programming and making – switch on, program it to do something fun – wear it, customize it, Just like Arduino, the micro:bit can be connected to and interact with sensors, displays, and other devices. The first wave of micro:bits will land in UK schools this autumn, with every Year 7 student in the UK receiving a micro:bit, for free. As a partner on the micro:bit project, goals are to provide: (1) a browser-based introductory programming experience for students who have never programmed before; (2) an architecture that allows students to dig deeper to uncover the many capabilities of the micro:bit; (3) materials and a platform to support teachers with the micro:bit in their classrooms.

    Exhibit 10: Expert-level planet recognition engine

    Contact: Jianlong Fu

    Automatic plant recognition engine can be a great benefit to both ordinary people and domain experts. By taking advantage of domain knowledge from experts, the-state-of-the-art deep learning techniques and millions of training images, we propose an expert-level image recognition system for plants. The system enables ordinary people to recognize plants around them and further learn comprehensive background knowledge. More importantly, the system can also help domain experts acquire the species distribution in a region by analyzing user-contributed images in some data sharing website of biology. Based on the exploration on building practical systems, we solve the key issues of 1) how to identify the species to be recognized, 2) how to collect training data, and 3) how to train the recognizer. A unified solution and learning techniques are introduced, including fine-grained deep learning network, large-scale knowledge graph mining, and noise-robust model training. Depending on the close collaboration between Institution of Botany, Chinese Academy of Sciences and MSRA, we will leverage and share the training data and knowledge base from domain experts, and integrate the proposed model/algorithm into Microsoft products. This work will generate three main impacts, including: 1) Research impacts: this research topic (e.g., deep learning, fine-grained image classification) is close to the focus of the top conferences in the area of computer vision and artificial intelligence, such as CVPR, ICCV, IJCAI and AAAI. Besides, the training data, domain ontology and knowledge base (including florescence, geographical distribution and morphological descriptions) can also be used as valuable resources for plant recognition research in academic community, for advancing the state-of-the-arts of plant recognition. 2) Business impacts: the capability of expert-level plant recognition can be integrated into many Microsoft intelligent products such as Cortana or XiaoIce to generate more intelligent services, such as image comments and image chat. This technology can also be embedded into a mobile App with client/cloud integration to provide a convenient way for plant recognition by taking photos via widely available cameras. 3) Social impacts: this engine can help ordinal people gain more knowledge about plants when people having high interests on plants but with limited knowledge. Besides, plant recognition engine enables domain experts to acquire the plant distribution in an efficient way. We will demonstrate the plant recognition system on thousands of species across some typical regions in China and United States.

    Exhibit 11: Azure for Research

    Contacts: Jim Pinkelman, Kenji Takeda, and Vani Mandava

    Whether it’s a computer with more memory, a cluster with hundreds of cores, a big data platform, an internet of things solution, or open-source machine learning at scale, you can achieve more using the cloud. Microsoft Azure for Research awards offer large allocations of cloud computing for your research project, and already supports hundreds of researchers worldwide across all domains.

    Exhibit 12: IoT solutions for smart agriculture

    Contact: Ranveer Chandra

    Food requirements are expected to double by 2050 to meet the demands of the world population, but the amount of land fit for agriculture is shrinking. Data-driven techniques, such as precision agriculture, could help meet the increased demand. In this demo, we presented FarmBeats, an agricultural IoT system that uses a combination of unmanned aerial vehicles (UAVs) and wireless sensors to enable data-driven agricultural techniques. In doing so, we develop novel algorithms to maximize the coverage of UAV flights given limited battery power, to combine information from a UAV’s video and ground sensor data, and, finally, to achieve cloud connectivity of the farm’s monitoring system while respecting the harsh bandwidth constraints imposed by the farm’s backhaul link to the Internet.

    Exhibit 13: Programming by Examples applied to Data Wrangling

    Contacts: Ranvijay Kumar and Sumit Gulwani

    The development of this technology was led by Sumit Gulwani at MSR for 5+ years, and then recently (July 2015) CVP Joseph Sirosh further funded development and productization of this technology by setting up a new team inside C&E. This team includes researchers, engineers, UX researchers, and program managers, and is working towards the goal of integrating these technologies inside a dedicated data wrangling product. Sumit moved to this team as part of the MSR rotation program. This technology should be of interest to academics from many different research communities. Building useful end-to-end PBE systems requires cross-disciplinary inspiration. Logical reasoning techniques of the kind developed in the Formal methods community drives development of efficient search algorithms and heuristics. Language design principles from the community of Programming Languages inspires creation of useful DSLs. Machine learning helps in ranking the synthesized programs. And, the field of Human-computer interaction plays a significant role in designing user interaction models. For a recent survey article that cites these various connections, see here. We have developed various capabilities for data wrangling that benefits from using by-example interaction. Developing a separate PBE technology for each such capability would require significant time, research expertise, and engineering investment. We, however, observed that there are several common ingredients between various PBE technologies, and therefore we refactored them into a core framework (also called PROSE) that has thus far facilitated an order-of-magnitude improvement in creation of the individual PBE technologies and their maintenance. We recently released an academic v0.1 release of the PROSE SDK along with various PBE technologies developed on top of it. The SDK can be downloaded by visiting the Microsoft PROSE website. We also released our benchmarks to benefit the academia and facilitate further research in the area.

    Exhibit 14: Madoko: scholarly documents in Markdown

    Contact: Daan Liejen

    Madoko is a scholarly markdown processor for writing professional articles, books, manuals, and presentations with a focus on simplicity and plain text readability.  The main advantage is that you can write your article in markdown and get both beautiful PDF (through LaTeX) and reflowable HTML: it is time to leave fixed page widths and columns behind and enable better reading of academic content on screens, tablets, and phones. Moreover, Madoko fully supports any LaTeX mathematics and packages using high quality vector graphics in HTML; The online environment at Madoko enables seamless cooperation through Dropbox, GitHub and OneDrive.

    Exhibit 15: Rich experiences and insights powered by the Office Graph

    Contacts: Cem Aykan and Johannes Gehrke

    The Office Graph represents a collection of content and activity, and the relationships between them that happen across the entire Office suite. From email, social conversations, meetings and documents, the Office Graph maps the relationships among people and information, and acts as the foundation for rich personalized Office experiences. The Office Graph uses sophisticated machine learning techniques to connect people to the relevant content, conversations and people around them. By tapping into the Office Graph, Delve provides a natural way for users to navigate, discover, and search people and information across an organization.

    Exhibit 16: Reinvent Enterprise Productivity with Delve Analytics and Workplace Analytics

    Contact: Nathan Barnett

    Microsoft is leveraging enterprise collaboration data through the Office Graph to achieve double-digit productivity improvements at the world’s largest companies.

    Exhibit 17: Embedded social

    Contact: Eduardo Cuervo

    Social engagement is a critical element for success in the classroom. Microsoft Embedded Social is an easy way to integrate social features into your learning applications. This Azure hosted service takes the headache out of adding user posts, comments, likes, feeds and other social features into your experience. We take care of all the storage and scalability issues for you. Now you can enable a social experience inside your learning application and engage your classroom.

    Exhibit 18: When big data meets health and wellbeing

    Contact: Eric Chang

    Increasing amounts of data are being collected that can dramatically improve health and wellbeing. In this demo, we highlighted two projects: analyzing data from Microsoft Band and medical image analysis. For Microsoft Band, currently Microsoft Band collects data during sleep but is not able to classify detailed stages such as REM vs. NREM stages. Sleep tracking is the #1 used feature for Microsoft Band and having high quality sleep stage analysis will provide a differentiated feature set for the product. Longer term, we plan to study sleeping habits vs. sleep quality over a large population to develop recommendations for obtaining better sleep quality. In collaboration with the Microsoft Band team, we have already collected sleep clinic data from 40 subjects in Beijing. Currently we are conducting research to create algorithms that can classify REM vs. NREM sleep based on heart beat signals and other signals. We presented our current results and discussed possible future approaches. Team members: Yan Xu, Xudong Ni, Haithem Albadawi, and Eric Chang

    For medical image analysis, specifically pathology scan analysis: Pathology images are high in resolution and exhibit patterns in multiple scales. We are analyzing colon cancer pathology scans and utilize big data machine learning approaches to develop techniques for classification and segmentation. These automated techniques will be used to analyze more pathology scans to find correlation between occurrence of cancer cells and final patient outcome. We have achieved state of art results on both colon cancer and brain tumor pathology scans and won the MICCAI 2014 Brain Tumor Digital Pathology Challenge. We have also started working with Intellectual Ventures and Gates Foundation on using similar technology for malaria infection analysis from blood smear samples with very promising results.

    Exhibit 19: Future of Work: supporting collaborative writing with microtasks

    Contacts: Jaime Teevan and Shamsi Iqbal

    From its conception in 2011, the Touch Develop project has been about bringing the joy of learning to program modern devices such as smartphones and tablets, as well as laptops and desktops. The Touch Develop team is proud to be part of the BBC micro:bit project. The BBC micro:bit is a small wearable and programmable mbed-based device that visibly features a 5×5 LED display, accelerometer, compass, buttons, I/O pins, Micro USB plug, Bluetooth Low Energy antenna, ARM Cortex-M0 processor, and battery plug. The micro:bit provides a fun introduction to programming and making – switch on, program it to do something fun – wear it, customize it, Just like Arduino, the micro:bit can be connected to and interact with sensors, displays, and other devices. The first wave of micro:bits will land in UK schools this autumn, with every Year 7 student in the UK receiving a micro:bit, for free. As a partner on the micro:bit project, goals are to provide: (1) a browser-based introductory programming experience for students who have never programmed before; (2) an architecture that allows students to dig deeper to uncover the many capabilities of the micro:bit; (3) materials and a platform to support teachers with the micro:bit in their classrooms.

    Exhibit 20: Microsoft Translator – automatic text and speech translation

    Contacts: Olivier Fontana, Tanvi Surti, and Will Lewis

    Microsoft Translator’s ecosystem of supported products and apps empowers individuals, organizations and educators to break down language barriers. 

    Attendees were able to:

    • Communicate with the world through text and speech on any laptop or device in 50+ languages
      • Have a chat with someone who speaks Arabic, Spanish & French over Skype
    • Try our translation apps for various platforms
    • See how to integrate Speech Translation into your research (or apps)
      • We give you an API (the world’s first Speech Translation API!)
      • We give you sample code (C#, Swift, Java, Python, etc.)
      • Audio input in any of 8 languages, output in 50+
    • Watch how Speech Transcription and Translation can change people’s lives!!

    Exhibit 21: Real-time video analytics for smart cities

    Contacts: Ganesh Ananthanarayanan and Victor Bahl

    Cities worldwide are deploying millions of cameras for planning and security purposes, and need near real-time video analytics. State-of-the-art video analytics systems are costly (custom-built) and often require manual intervention. Large-scale automated video analytics is a grand challenge for the research community and big data systems. Privacy regulations and bandwidth constraints dictate that video be analyzed across both edge and cloud clusters. Our hybrid edge-cloud video analytics infrastructure: (1) A pilot system in collaboration with Bellevue City which uses traffic cameras for smart city planning of traffic lights, crosswalks, and bike lanes. (2) Resource management for multi-tenant video processing clusters that supports processing pipelines with varying resource-accuracy profiles and delay tolerance. The system runs multiple simultaneous queries and shows outputs of tracking objects (vehicles, pedestrians, bikes), classifying (using a DNN), and counting.

    Exhibit 22: Building a datacenter scale analytics platform

    Contact: Sriram Rao

    The Cloud and Information Services Lab is an applied research lab working on Systems and Machine Learning Big Data technology and carries out innovative research by building real systems, publishing papers, and contributing to open-source. We enable big data systems in Microsoft products and services and collaborate extensively with MSR, and academia.

    Exhibit 23: Engage with Microsoft Research

    Contacts: Lisa Clawson

    After 25 years, Microsoft Research continues to push the boundaries of the field of computing. Today’s opportunities are in many ways more impactful and exciting than those of 25 years ago. During all these years, our research has been built on strong relationships and collaborations with academia. As technology advances and our research focus adjusts, we continue to look for impactful ways to engage with you. Engage with us through our competitions, awards, scholarships, fellowships, and more academic resources by visiting us online.

    Exhibit 24: Research Internships and Fellowships

    Contact: Ossie Roycroft and Amanda Young

    Interns put inquiry and theory into practice. Alongside fellow doctoral candidates and some of the world’s best researchers, interns learn, collaborate, and network for life. Graduate student interns join us from disciplines spanning computer science, art, sociology and information science, and they contribute to the development, design and study of social computing systems. Interns not only advance their own careers, but they also contribute to the exciting R&D strides our researchers are making.Our TnR Fellowship Program is a two-year fellowship program for PhD students at participating U.S. or Canadian universities enrolled in Computer Science, Electrical Engineering, or Mathematics.

    Exhibit 25: Microsoft Store – Latest and Greatest Microsoft Devices

    Contacts: Margie Strite and Yesh Naidu

    The Microsoft Store device bar featured the latest and greatest PC devices. Everything from the Surface Book to the Dell XPS 15 was available for hands-on demos. The Microsoft Store can help you with all of your technology needs—free workshops, complimentary Answer Desk appointments, and best-in-class customer service.

    Co-located Workshops

    Each year, we hold events the day after Faculty Summit to provide opportunities for deeper technical engagement. The following seven workshops took place at the Microsoft Conference Center on Friday, July 15, 2016.

    Open Academic Society

    Chair: Kuansan Wang, Microsoft Research

    Friday, July 15, 8:30 AM – 3:00 PM | Microsoft Building 99, Room #1915

    Microsoft Research and several academic partners have formed the Open Academic Society, with the mission to contribute to and create a shared, open and expanding knowledge graph of research and education-focused entities and relationships. Seeded by the Microsoft Academic Graph, the reach and depth of knowledge data will come through the Society members’ contributions. Microsoft and other Society members will release their data under an open data license as well as provide workshops, challenges, and data sharing activities for the benefit of the larger computer science community.  This inaugural meeting of the Society focused on the organizational structure, logistics of data contributions, establishment of by-laws and committee structure, and planned for upcoming workshops, challenges, and events.

    The Edge of AI

    Chair: Evelyne Viegas, Microsoft Research

    Speakers: Fernando Diaz, Katja Hofmann, Eric Horvitz, Tim Hutton, Pushmeet Kohli, Microsoft Research

    Friday, July 15, 8:00 AM – 4:00 PM | Microsoft Conference Center, Lassen

    Given the investment and evidence of progress in Artificial Intelligence (AI) in the last five years, some suggest that it is merely a matter of time until AI matches, complements or surpasses, human intelligence. This workshop took the position that AI is still at an extremely early stage compared to human intelligence. This workshop gathered researchers and scientists and together reviewed recent research and advances in machine learning, cognitive science, neuro-science, and discussed the needs and design principles to support fundamental research in AI via approaches (including platforms and tools) that foster collaboration between researchers. The community was invited to experience Project Malmo, an AI experimentation platform on top of Minecraft, as an example to support AI research.

    Quantum Algorithms and Devices

    Chair: Krysta Svore, Microsoft Research

    Speakers: Scott Aaronson, Lior Eldar, Aram Harrow, Massachusetts Institute of Technology; Fernando Brandao, Microsoft; Stephen Jordan, University of Maryland-College Park; Dmitri Maslov, University of Maryland; Jeremy O’Brien, University of Bristol; David Poulin, University of Sherbrooke; Barbara Terhal, University of Aachen; Matthias Troyer, Eidgenössische Technische Hochschule Zürich

    Friday, July 15, 8:30 AM – 5:30 PM | Microsoft Conference Center, Sonora

    In 1981, Richard Feynman proposed a device called a “quantum computer” that would take advantage of methods founded on the laws of quantum physics and promise computational speed-ups over classical methods. In the last three decades, quantum algorithms have been developed that offer fast solutions to problems in a variety of fields including number theory, optimization, database search, chemistry, and physics. For quantum devices, this past year marks significant progress towards scalable quantum bits and gates. The workshop highlighted recent advances in quantum algorithms, quantum devices, control systems, and quantum error correction.

    Safe Autonomous Cyber Physical Systems

    Chair: Ashish Kapoor, Microsoft Research

    Speakers: Pieter Abeel, Trevor Darrell, Anca Dragan, Claire Tomlin, University of California-Berkeley; Rajeev Alur, University of Pennsylvania; Sanja Fidler, Raquel Urtasun, University of Toronto; Martial Herbert, Carnegie Mellon University; Rupak Majumdar, Max Planck Univeristy; Siegwart Roland, ETHZ; Nicholas Roy, Massachusetts Institute of Technology

    Friday, July 15, 8:30 AM – 5:00 PM | Microsoft Conference Center, Baker

    Recent advances in cyber physical systems, such as drones, robots, autonomous cars and other Internet of Things (IoT) devices, have led to increased consumer interest and start-up businesses. However, in order to fully harness the capabilities of these systems, we need to facilitate safe and reliable autonomy. For example, a robot immersed in the real world needs to model the environment and take only those actions that will not jeopardize the safety of itself and individuals, while still making progress on the assigned task. Addressing this problem entails an interdisciplinary approach, where cutting edge ideas from perception, sensing and modeling need to work with advances in controls, planning and decision making. Further, given the large scale effort required in software and hardware engineering, it is important to consider these ideas in the context of programming languages and verification. Our workshop brought together experts in the areas of machine learning, vision, planning, programming languages and verification to discuss the latest advances with the aim of catalyzing a joint effort to address building Safe Autonomous Cyber Physical Systems. The day long workshop consisted of invited talks, demos and a panel discussion reflecting upon the best approach to effectively collaborate between academia and industry.

    Software Engineering Mix Volume 2: Large-scale Data Analysis of Software Repositories

    Coordinator: Thomas Zimmermann, Microsoft Research

    Speakers: Laura Dabbish, Carnegie Mellon Univeristy; Vladimir Filkov, University of California-Davis; Mei Nagappan, Rochester Institute of Technology

    Friday, July 15, 8:30 AM – 3:30 PM | Microsoft Conference Center, Hood

    Software Engineering Mix (SE-MIX) provided a forum for our colleagues from academia to interact directly with Microsoft engineers. The program featured talks from academics: highlights of published research that is highly relevant for Microsoft and blue sky talks summarizing emerging research areas. In addition, practitioners gave presentations about theoretical and pragmatic engineering challenges they face, soliciting help from academia. A coffee round table setting was used to facilitate discussions. This session built on the success of SEIF Days, which provided a discussion forum about the future of software engineering.

    The topic of this year’s SE-MIX was the large-scale data analysis of software repositories (like GitHub for example). Many teams are using GitHub for their OSS projects and would like to have a richer understanding and insight into that activity. While some projects like GHTorrent and GitHub Archive exist, and some insights are available for analyzing a single project, everyone touching this topic sees an enormous potential in the data. The SE-MIX was intended to jumpstart connections between academia and Microsoft on the vast opportunities in leveraging GitHub data and data from other software repositories to develop software more efficiently.

    System Design for Cloud Services

    Chair: Kathryn McKinley, Microsoft Research

    Speakers: Doug Burger, Douglas Carmean, Sameh Elnikety, Microsoft Research; Boris Grot, University of Edinburgh; Ben Lee, Duke University; Sherief Reda, Brown University; Ion Stoica, University of California-Berkeley; Karin Strauss, Microsoft Research; Lingjia Tang, Marc Tremblay, Microsoft; Adam Wierman, California Institute of Technology; Tom Wenisch, University of Michigan

    Friday, July 15, 8:30 AM – 3:00 PM | Microsoft Conference Center, St. Helens

    Cloud services offer a plethora of new resource management and efficiency problems as service providers seek to meet the demands of interactive and batch services in modern data centers. This session described novel system approaches, ranging from architecture to OS to applications with a focus on emerging challenges for system design.

    This workshop included a wide range of cloud hardware and software system designers and researchers. It focused on the challenges, workloads, and opportunities for scale up and scale out for cloud services.

    We planned a non-standard workshop structure to improve group engagement. We sat at round tables of approximately 8 people. The entire workshop consisted of 4 sessions that were structured as 3 short talks, followed by 10 minutes table talk, 10 minutes group discussion with the 3 speakers, and 10 more minutes of table talk.

    Visualization on Touch Enabled Platforms

    Chair: Roy Zimmermann, Microsoft Research

    Speakers: Steven Drucker, MSR; Dave Slobodin, Surface Hub; Michel Pahud, MSR; Andruid Kerne/Andrew Webb/Alyssa Valdez, Texas A&M; John Stasko, Georgia Tech; Andy van Dam/Tim Kraska, Brown University; Ruigang Yang, University of Kentucky; Charlie Case, Surface Hub; Aaron Quigley, University of St. Andrews; Tim Large, Surface Hub; Dave Brown, MSR

    Friday, July 15, 8:30 AM – 4:00 PM | Microsoft Conference Center, Rainier

    This workshop was co-hosted by Steven Drucker, MSR Principal Researcher and Dave Slobodin, GM of Surface Hub. The workshop discussed the intersection of data and graphics visualization with Microsoft’s new Surface Hub technology. Participants were invited to share their work and research in graphics and visualizations for large, multi-touch platforms. The workshop included demos from MSR, the Surface Hub team and external researchers. The discussion covered current and emerging trends in the graphics and visualization domains as well as the current state of Surface Hub. There was an opportunity for participants to offer feedback and exchange ideas with Microsoft researchers and engineers as well as other researchers active in large interactive displays.