Loading...
Microsoft Research Blog

Customers Get Dryad, DryadLINQ 

January 26, 2011

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.…

Microsoft Research Blog

Join the Microsoft Biology Foundation v2.0 Development Preview 

January 5, 2011

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…

Microsoft Research Blog

Colombian Center for Bioinformatics and Computational Biology Established 

January 4, 2011

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

The 2011 ACM SIGPLAN Programming Languages Software Award (shared with Simon Marlow) 

January 1, 2011

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 wins 2011 Tansley Medal for Excellence in Plant Science 

January 1, 2011

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

Elected to National Academy of Engineering, 2011 

January 1, 2011

For innovation and leadership in organizing, accessing, and interacting with information.

In the news | CAV

Ball shares 2001 CAV Award 

January 1, 2011

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.

In the news | ACM

Elected 2001 ACM Fellow 

January 1, 2011

For contributions to software analysis and defect detection.

In the news | ACM

2010 ACM Distinguished Scientist 

December 31, 2010

The Distinguished Members Grade recognizes those ACM members with at least 15 years of professional experience and 5 years of Professional Membership in the last 10 years who have achieved significant accomplishments or have made a significant impact on the…

  • Previous
  • 1
  • …
  • 544
  • 545
  • 546
  • 547
  • 548
  • …
  • 572
  • Next