Download Research Tools
This blog post is one I would never wish to write. As many of you know, in late August, my friend and colleague, Lee Dirks, and his wife Judy were killed in an automobile accident while vacationing in Peru. They leave behind two young daughters and broken hearts throughout Microsoft Research and beyond.
Lee joined Microsoft some sixteen years ago, after many years in the library world, first at Columbia University, then at OCLC (Online Computer Library Center). For 10 years, he worked at Microsoft in many areas, including the corporate archives and library. He was one of the first people I hired after taking over the leadership of Microsoft Research Connections six years ago.
I met Lee at a library event at the University of Washington. We hit it off immediately, in part because of our shared conviction that scholarly communications were going to change radically over the next five years, with profound implications for university libraries and academic publishers, and in part because Lee was just such a larger-than-life personality, with an infectious sense of humor and an obvious zest for living.
Lee joined my leadership team at Microsoft Research Connections—a bit of an outlier, as a librarian in a group of computer scientists, but as an important and influential member as there ever was. You see, Lee had a clear vision of where scholarly publishing and library science were headed—even when others did not. He understood that the Internet was changing everything, pushing the existing publishing models towards obsolescence and fundamentally altering the academic library’s traditional role, which I’ve described as being the place where students went to meet friends, drink coffee, and read some arcane journals—all of which they can do today at any coffee shop.
Lee, more than anyone I know, championed the shift in librarianship; a shift that has seen many top library schools recreate themselves as information schools, or iSchools, for short, where the emphasis has turned to teaching the skills of information retrieval and evaluation. He used his vast connections in the library world to promote the iSchool paradigm. When confronted by old-school reactionaries, he loved to quote U.S. General Eric Shinseki: “If you don’t like change, you’re going to like irrelevance even less.”
Lee was a powerful voice for change in the publishing world, too, pushing for the new model of interconnectedness, in which not only journal articles are available online, but so are the underlying data sets for review and commentary. It’s a world where information is rapidly and inexpensively disseminated and where collegial interactions are fostered. Lee also championed the DOCX format, recognizing the power of surrounding the text with meta-data links to the underlying data and related research.
Here in Microsoft Research Connections, Lee assembled a great team of experts in education and scholarly communications and used his network in that community to create the Scholarly Communications section of The Fourth Paradigm, the book that expounds on the late Jim Gray’s vision of data-intensive science. In this and so many other endeavors, Lee’s connections in the library and publishing worlds nicely complemented mine in the science community. Lee made many other contributions to our organization. He shaped Microsoft Academic Search into an extremely useful tool for the research community. He was a passionate advocate for education research and championed alternate approaches, such as Just Press Play. He recognized the potential for machine translation to be used to preserve indigenous languages around the world. He strongly believed and supported the ChronoZoom project, which will bridge the gap between the humanities and sciences and bring knowledge of the history of the universe to all. These are just a few of the dozens of efforts, large and small, that he worked tirelessly to champion and make manifest.
Another side of Lee stands out for me as I recall a trip to Harvard. He invited me to join him for a beer. As we sat in the bar, I received a call from my wife, asking me what I was doing sitting around having beer when I was supposed to be on business. You see, unbeknownst to me, Lee had posted the news of our pub crawl to his Facebook site, where it was seen by my wife, a fellow librarian who was one of Lee’s many Facebook friends. Lee and my better half had a good laugh over that.
And laughter and compassion is how I will best remember Lee. He was a great man with a wonderful sense of humor, and an incredible heart. Unfailingly kind and considerate, he treated everyone as an equal. Just the other day, a writer that works for us told me how sad he was to learn of Lee’s untimely death and told me, “Lee always treated me as equal. He made me feel that my work was just as important as that of the PhDs all around me.” Of course he did. That was Lee. He saw value in everyone and what they were working on.
And now he’s gone, he and his lovely wife, leaving us all poorer for his absence and the richer for having known him. Farewell, my friend and colleague, you’ve left us far too soon.
—Tony Hey, Vice President, Microsoft Research Connections
What do the California condor, the snow leopard, and the Wollemi pine have in common? They’ve all made the least desirable position on one of the nature’s most important lists: the IUCN Red List of Threatened Species. Now, what do Microsoft and the Zoological Society of London have in common? They’re both Red List partners, working with the International Union for Conservation of Nature (IUCN)—the world’s oldest and largest global environmental organization—to help understand what species are endangered and why.
The Microsoft partnership was made public at the IUCN World Conservation Congress in Jeju, South Korea. The company is the first and only invited corporate partner for the Red List of Threatened Species.
Why Microsoft? Is it because of the company’s technology prowess? Well certainly in part. But the request stems largely from the presence of a dedicated team of environmental scientists at Microsoft Research Cambridge. This team, the Computational Ecology and Environmental Science Group (CEES), is developing new concepts and methods to enable better predictions about our planet, and has been working with the IUCN on the science and tools to help support the IUCN Red List.
Led by Lucas Joppa, the CEES team’s effort has created a Red List application that uses Microsoft SQL Server 2012 and Bing Maps to enable experts to map where species are found, the threats species face, and the interventions used to negate or prevent these threats. Such mapping is crucial to efforts to halt the seemingly inexorable march toward more extinctions.
As Joppa explains, “We’re working with the IUCN Red List team to build an application that allows people to spatially map threats to species. Capturing this information is vital, and as a group of scientists in Microsoft Research, we understand both the scientific and technical challenges this involves.”
The invitation from the IUCN recognizes the scientific expertise of the CEES team, notes Joppa. “What’s really exciting is that we are at the table as scientists, but with the depth and breadth of Microsoft to build on, in terms of people and technology. We feel like we can really make a positive difference.”
The Red List application is actually just one of many environmental science tools developed by the CEES group, which works closely with Microsoft Research Connections to provide scientists around the world with tools that focus on data, modeling, and decision-support for the earth and environment. Please take a look at some of our other tools, all of which were made for scientists by scientists. These tools typify Microsoft Research’s commitment to provide resources that accelerate research and discovery and enable more effective transformation of data into decisions. Visit Earth, Energy, and Environment at Microsoft Research Connections to learn more about our collaborations with academic researchers and organizations worldwide.
—Kenji Takeda, Solutions Architect and Technical Manager, Microsoft Research Connections EMEA
Building verifiably reliable and trustworthy software is one of the ultimate objectives of software engineering. With this goal in mind, academics, scientists, and researchers gathered in Shanghai, China, for the second Verified Software Workshop and Summer School. The event, which took place from August 23 to 31, 2012, attracted approximately 250 faculty and student attendees from more than 70 universities and research institutes and nearly a dozen countries across the Asia Pacific region and beyond.
World-class scientists and researchers—from Asia, Europe, and North America—provided the latest insights into verification theory, practice, and tools.
Co-sponsored by Microsoft Research Asia and East China Normal University, the event explored new directions and emerging opportunities in verified software research, with 21 keynote presentations by world-class scientists and researchers—from Asia, Europe, and North America—providing the latest insights into verification theory, practice, and tools. Especially notable among the prominent presenters were the workshop co-chairs: Professor Tony Hoare, the 1980 Turing Award winner and a principal researcher at Microsoft Research Cambridge, who gave the opening speech, titled, “Algebra Unifies Theories of Programming”; and Professor Jifeng He of East China Normal University and a member of the of the Chinese Academy of Sciences, who delivered a keynote on “A Clock-Based Framework for Modeling Hybrid Systems.”
The event began with a two-day workshop at East China Normal University that included inspiring lectures from technical and academic leaders. A broad and comprehensive workshop, it featured in-depth talks on such topics as detection of concurrency bugs, safe programming of asynchronous interaction, pervasive model checking, analysis and verification of multiple programs, automation of program verification, concurrent software verification, software analytics and its application, and modeling and verification of hybrid systems.
A five-day summer school of intense training followed the workshop. Students were treated to lectures focusing on the theoretical nature of concurrency and separation logic. One particular highlight was the hybrid systems session, which taught the KeYmaera logical analysis approach in a single day’s time. In addition, a step-by-step tool session provided attendees with valuable hands-on practice and an in-depth learning experience.
The event was popular with both students and presenters. Summing up the benefits of the event, one student said, “I acquired cutting-edge research and tools in [the] verification software field, and also had the opportunity to exchange my ideas with innovative peers and academic leads from across the world.”
Capturing the perspective of the experienced researcher, co-chair Tony Hoare praised the event and laid out his goals for such venues, saying, “We hope to expand the opportunities for industrial application of mature academic research, and to encourage the next generation of advanced researchers to continue the pursuit of deep and interesting questions in areas of the software industry.”
Professor Tony Hoare, the 1980 Turing Award winner and a principal researcher at Microsoft Research Cambridge, gave the opening speech, titled, “Algebra Unifies Theories of Programming."
Co-chair Jifeng He added, “We have achieved a lot in [the] verified software field with everyone’s great effort, but there is always more work to do. With this event, we hoped to not only inspire our young talent but also provide researchers and faculties worldwide with the advantage of exchanging ideas.”
Lolan Song, the senior director of Microsoft Research Asia, spoke of the company’s objectives in sponsoring such events, observing that “We hold this event in order to advance the state of the art in software and present a great opportunity for academics, researchers, and students in this area to share and exchange ideas. Also, we hope to identify and cultivate worldwide top talent in verified software areas and build up cadres of experienced users to support eventual use of the tools in the industry.” She also expressed the gratitude of Microsoft Research Asia for the assistance and participation of colleagues from Microsoft Research Cambridge, Microsoft Research Redmond, and Microsoft Research India.
—Kangping Liu, University Relations Manager, Microsoft Research Connections Asia