By Douglas Gantenbein, Senior Writer, Microsoft News Center Today’s world, says Sumit Basu, increasingly is driven by massive amounts of data. “Take sociology,” says Basu, a researcher with the Knowledge Tools group at Microsoft Research Redmond. “In the past, most…
Innovations in wireless networking technology are driving our increasingly connected world, with smartphones gaining acceptance for both professional and private use. In the future, we foresee a vast majority of smartphone apps relying on cloud services to enhance the mobile…
By Douglas Gantenbein, Senior Writer, Microsoft News Center Researchers and businesspeople around the world now have at their disposal a new way to perform massive computations over large quantities of unstructured data more quickly and easily than they’ve ever imagined.…
You may be familiar with the Microsoft Biology Foundation (MBF), an open source bioinformatics .NET library that is designed to provide core functionality for genomics research from commonly-used file parsers to algorithms and web connectors. We're pleased to announce that…
As we approached the holiday season in Colombia, we had already received one of the biggest gifts on our wish-list: on November 12, the government of Colombia officially committed to the establishment of the Center for Bioinformatics and Computational Biology…
In the news | ACM SIGPLAN
Simon Peyton Jones and Simon Marlow receive the SIGPLAN Software Award as the authors of the Glasgow Haskell Compiler (GHC), which is the preeminent lazy functional programming system for industry, teaching, and research.
In the news | New Phytologist
Neil has made important discoveries that provide invaluable insights into the regulation of the circadian clock in Arabidopsis thaliana using a combination of mathematical modeling and experimental intervention.
In the news | NAE
For innovation and leadership in organizing, accessing, and interacting with information.
In the news | CAV
For contributions to software model checking, specifically the development of the SLAM/SDV software model checker that successfully demonstrated computer-aided verification techniques on real programs.