Download Research Tools
The participants in the 2012 Microsoft Research Faculty Summit gained new appreciation for the changes facing the globe as David Breashears navigated the massive archive of photographic data that his team has gathered in many climbs through the Himalaya Mountains. We came away with a vivid understanding of how far glaciers have retreated in these mountains over the past 100 years.
Who better than David Breashears to bring the story to life through the means of computing? Filmmaker, adventurer, and mountaineer David Breashears has brought nature to life on film for more than 30 years. He is also the founder and executive director of GlacierWorks.
Archival photos and GlacierWorks imagery of the Himalaya Mountains demonstrate the impact that climate change is having on the glaciers and river systems of Asia.
David lives a life of adventure most of us only dream about. He has led more than 40 expeditions to the Himalayan region and worked on dozens of documentary film projects since 1979. David has reached the summit of Mount Everest five times! He was also producer, director, and expedition leader for Everest, one of the most successful IMAX films ever made. He has led, and continues to lead, a fascinating life.
David’s keynote focused on his work with GlacierWorks, a non-profit organization that uses art and science to vividly document how the Himalayan glaciers are changing before our very eyes. The Himalaya Mountains are home to some of the world’s most beautiful peaks and thousands of high-altitude glaciers. The glaciers provide seasonal water flows to rivers throughout Asia. These precious flows have been disappearing at an alarming rate, however.
Since 2007, GlacierWorks teams have embarked on 10 expeditions, each carefully retracing the steps of early mountain photographers. Meticulously captured images match their predecessors’ work. Comparing the images, GlacierWorks identified an alarming loss of ice in the region.
David and his team are building a resource to share their information with students. They have been collaborating with Microsoft Research to create an immersive Internet experience that enables a richer interaction with GlacierWorks’ massive photographic database. At the heart of this collaboration is Rich Interactive Narratives (RIN). RIN combines traditional forms of storytelling with new visualization technologies to create compelling interactive digital narratives.
For the Himalayas project, the team is combining archival media and GlacierWorks imagery to demonstrate the impact that climate change is having on the glaciers and river systems of Asia. The team is hopeful that an engaging and educational interactive experience will appeal to today’s students, and inspire them to investigate climate change further.
We have made David Breashears' keynote available online. I encourage you to view this incredible presentation for yourself. You can also find more information about Breashears and his work through these resources:
—Harold Javid, Director, The Americas, Microsoft Research Connections
Korea’s Ministry of Knowledge Economy (MKE) recently announced that Microsoft Research Asia will once again be a key partner in the Information Technology Software Creative Research Program, which provides support to world-class researchers in that country. MKE plans to provide matching funds in the amount of five times the expenditures of Microsoft Research Asia (in other words, the ministry provides $5 for every $1 spent by Microsoft Research Asia) on collaborative research projects that are conducted by Korean academia.
“The collaboration with the Ministry of Knowledge Economy of Korea is a significant milestone in creating opportunities for universities to experience world-class research, discover potential talent, and accelerate innovation,” said Hsiao-Wuen Hon, Microsoft Research Asia managing director. “Microsoft Research Asia is committed to providing continuous support for Korean universities and government programs as a driving force in strengthening Korea’s IT competitiveness.”
Sixty Korean academics attended Korean Day on July 3, 2012,at Microsoft Research Asia in Beijing, China
As part of the program, Microsoft Research Asia offers internships to graduate-level students at its state-of-the-art facilities in Beijing, China. By providing the opportunity to participate in practical research, the internships help participating students improve their professional skills and increase their knowledge. During the first program, which started in September 2010, a total of 10 graduate students were awarded six-month internships at Microsoft Research Asia. Of those 10 students, five went on to participate in a 12-week summer internship program at Microsoft Research in Redmond, Washington.
“The internship program allowed me to experience and learn the research trends and techniques used at a global company,” said Hyunsun Seo, a 2011 Microsoft Research Asia fellowship winner and intern at Microsoft Research Asia and Redmond. “I used to presume research would be conducted in a manner similar to what I’ve done in school. Now, I have a clear picture about the similarities and differences. This insight will be hugely beneficial and will offer me a distinct edge as I plan my career path after graduation.”
The program has already produced a number of success stories. In its second year, 24 projects were selected out of 54 proposals for research related to topics such as hardware computing, human computing interaction, Internet graphics, Internet media, information retrieval and mining, media computing, wireless and networking, web retrieval and mining, web intelligence, web data management, system, speech recognition, theory, machine learning, and innovative engineering.
The students’ work was on display during the Korean Day event held on July 3 at the Microsoft Research Asia facilities in Beijing, China. Among those attending were 60 Korean academics, including faculty members and students.
—Miran Lee, Senior University Relations Manager, Microsoft Research Asia
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