Download Research Tools
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
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