Microsoft Research today announced that Mike Freedman, a professor of mathematics at the University of California at San Diego, will join Microsoft Research. He will work with the newly formed theory group to consider fundamental problems in computer science.