- Jim Gray
James Nicholas "Jim" Gray (born 1944, lost at sea January 28, 2007) is an American computer scientist who received the Turing Award in 1998 "for seminal contributions to database and transaction processing research and technical leadership in system implementation."
- Andrew Herbert
Andrew Herbert is Managing Director of Microsoft Research, Cambridge, UK. Herbert took a BSc in computational science at Leeds University (1975), then worked on "A Microprogrammed Operating System Kernel" for his PhD from Cambridge University (1978). His research interests include computer networking, operating systems, distributed computing, programming languages and large-scale data driven systems.
- Erik Meijer
Erik Meijer is a Dutch computer scientist who is currently a software architect at Microsoft Research. He was previously a professor at Utrecht University. He received his Ph.D from Nijmegen University in 1992. Meijer's research has included the areas of functional programming (particularly Haskell), compiler implementation, parsing, programming language design, XML, and foreign function interfaces.
- Luca Cardelli
Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the (non-pure) functional programming language ML and he defined the concept of typeful programming. Recently, he helped develop the Polyphonic C# experimental programming language.
- Simon Peyton Jones
Simon Peyton Jones (born in South Africa in 1958) is a British computer scientist who does research on the implementation and applications of functional programming languages, particularly lazy functional languages. He is an honorary Professor of Computer Science at the University of Glasgow and supervises PhD Students at the University of Cambridge. Peyton Jones graduated from Trinity College, Cambridge in 1980, …
- Susan Dumais
Susan Dumais is a Principal Researcher in the Adaptive Systems & Interaction Group of Microsoft Research. Before working at Microsoft, she was one of the pioneers of Latent semantic analysis. In 2006 she was inducted as a Fellow of the Association for Computing Machinery.
- Gordon Bell
C. Gordon Bell (born August 19, 1934) is a computer engineer and manager, an early employee of Digital Equipment Corporation (DEC) who designed several of their PDP machines and later became Vice President of Engineering and oversaw the development of the VAX.
- Tony Hey
As Corporate Vice President of the External Research Division of Microsoft Research, Tony Hey is responsible for the worldwide external research and technical computing strategy across Microsoft Corp. He leads the company's efforts to build long-term public-private partnerships with global scientific and engineering communities, spanning broad reach and in-depth engagements with academic and research institutions, related government agencies and industry partners.
- Roger Needham
Roger Michael Needham CBE FREng FRS (9 February, 1935 - 1 March, 2003) was a British computer scientist. Needham began his undergraduate studies at the University of Cambridge in 1953, graduating with a B.A. in 1956 in mathematics and philosophy. His Ph.D. thesis was on applications of digital computers to the automatic classification and retrieval of documents. He worked on a variety of key computing projects in security, operating systems, …
- Surajit Chaudhuri
Surajit Chaudhuri is a computer scientist best-known for his contributions to database management systems. He is currently a senior researcher at Microsoft Research, where he leads the Data Management, Exploration and Mining group. Chaudhuri is an ACM Fellow. He received his Ph.D. in computer science from Stanford University in 1991.
- Eric Brill
Dr. Eric Brill is a computer scientist specializing in Natural Language Processing. He is famous for his Brill Tagger, a supervised part of speech tagger.
- Martin Abadi
Martín Abadi is a computer scientist, currently working at the University of California, Santa Cruz. He earned his Ph.D. from Stanford University in 1987 as a student of Zohar Manna. He is well-known for his work on computer security and on programming languages, including his paper (with Burrows and Roger Needham) on the "Burrows-Abadi-Needham logic" for analyzing authentication protocols, and his book (with Luca Cardelli) "A Theory of Objects", …
- Andrew Blake
Andrew Blake, FREng, FRS, is a Senior Research Scientist at Microsoft Research Cambridge, Distinguished Visiting Professor at the University of Edinburgh, and a leading researcher in computer vision.
- Butler Lampson
Butler W. Lampson (born 1943) is a computer scientist, considered to be one of the most significant in the history of the field. Lampson received his Bachelor's degree in Physics from Harvard University in 1964, and his Ph.D. in Electrical Engineering and Computer Science from the University of California, Berkeley in 1967. During the 1960s, Lampson and others were part of Project GENIE at UC Berkeley.
- Leslie Lamport
Dr. Leslie Lamport (born 1941) is an American computer scientist. A graduate of the Bronx High School of Science, he received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972. His dissertation was about singularities in analytic partial differential equations.
- Gerhard Weikum
Prof. Dr-Ing. Gerhard Weikum is a Research Director (and, as of 2006, also the Managing Director) at the Max Planck Institute for Computer Science (MPI) in Saarbruecken, Germany, where he is leading the databases and information systems department. His current research interests include distributed information systems, P2P computing, database performance optimization (automatic tuning) and self-organization (autonomic computing), …
- John Platt
Dr John Platt is a senior researcher in the Knowledge Tools Group at Microsoft Corporation. Platt has worked for Microsoft since 1997. Prior to Microsoft, Platt had served as Director of Research at Synaptics. Platt was born in Elgin, Illinois and matriculated at California State University, Long Beach at the age of 14. After graduating from CSULB at the age of 18, Platt enrolled in a computer science PhD program at California Institute of Technology.
- Michael Freedman
Michael Hartley Freedman is a mathematician at Microsoft Research. In 1986, he was awarded a Fields Medal for his work on the Poincaré conjecture, one of the most famous problems of the 20th century. The Poincaré conjecture asserts that a simply connected closed 3-dimensional manifold is a 3-dimensional sphere.
- Phil Bernstein
Phil Bernstein is a computer scientist specializing in database research in the Database Group of Microsoft Research. Berstein is also an affiliate professor at the University of Washington and frequent committee member or chair of conferences such as VLDB and SIGMOD.
- Richard Rashid
Richard 'Rick' Rashid currently oversees Microsoft Research's worldwide operations. Previously, he was the director of Microsoft Research. He joined Microsoft Research in 1991, and was promoted to vice president in 1994. In 2000, he became senior vice president. He has authored a number of patents in areas such as data compression, networking, and operating systems, and was a major developer of Microsoft's interactive TV system.
- Don Towsley
Donald Towsley is an American computer scientist, currently Distinguished University Professor in the Department of Computer Science at the University of Massachusetts - Amherst, where he co-directs the Networking Research Laboratory. He received his B.A. degree in physics and his Ph.D. degree in computer science, both from the University of Texas. Professor Towsley has been a Visiting Scientist at AT&T Labs - Research, IBM Research, INRIA, Microsoft Research Cambridge, …
- Oded Schramm
Oded Schramm is an Israeli mathematician working at the intersection of conformal geometry and probability theory. A constant theme in his research is the exploration of relations between discrete models and their continuous scaling limits. His most significant contribution is the invention of stochastic Loewner evolution, …
- Paul Larson
Paul Larson is a computer scientist. He is most famous for inventing the linear hashing algorithm with Witold Litwin. Paul Larson is currently a senior researcher in the Database Group of Microsoft Research. He is frequent chair and committee member of conferences such as VLDB, SIGMOD, and ICDE. In 2004 he was inducted as a Fellow of the Association for Computing Machinery.
- Andries van Dam
Andries "Andy" van Dam (born 1938) is a professor of computer science and former Vice-President for Research at Brown University in Providence, Rhode Island. Originally appointed as a professor of applied mathematics, he helped to found the computer science program as a joint project between the departments of applied mathematics and engineering. When the program was promoted to a full department, van Dam served as its first chair, from 1979 to 1985.
- C. A. R. Hoare
Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born January 11, 1934) is a British computer scientist, probably best known for the development of Quicksort (or Hoaresort), the world's most widely used sorting algorithm, in 1960.
- Jim Kajiya
Jim Kajiya is a pioneer in the field of computer graphics. He is perhaps best known for the development of the rendering equation. Kajiya received his PhD from the University of Utah in 1979, was a professor at Caltech from 1979 through 1994, and is currently a researcher at Microsoft Research.
- Jim Blinn
Jim Blinn is a computer scientist who first became widely known for his work as a computer graphics expert at NASA's Jet Propulsion Laboratory (JPL), particularly his work on the pre-encounter animations for the Voyager project, and his work on the Carl Sagan Cosmos documentary series.
- Kurt Akeley
Kurt Akeley is a computer graphics engineer.
- Christopher Bishop
Professor Christopher M. Bishop, FREng, FBCS, is Assistant Director at Microsoft Research, Cambridge, and holds a Chair of Computer Science at the University of Edinburgh.
- Jeremy Elson
Jeremy Elson (1974 -) is a computer researcher specializing in wireless Sensor Networks. He is also the creator of the popular CircleMUD. Elson received his Ph.D. from UCLA in 2003. External link: Jeremy Elson's home page
- Michael Schroeder
Michael Schroeder is a computer scientist perhaps most famous as the co-inventor of the Needham-Schroeder protocol. He is the assistant director of Microsoft Research Silicon Valley, where he has been since its inception in 2001 when he moved from DEC SRC. His areas of research include computer security, distributed systems and operating systems. When he was a professor at MIT he was involved in the Multics project.
- Ursula Martin
Ursula Martin is a British computer scientist. She is Vice-Principal of Science and Engineering at Queen Mary, University of London and a Professor of Computer Science in the Department of Computer Science there. Ursula Martin gained an MA from the University of Cambridge and a PhD from the University of Warwick, both in mathematics. She has held academic posts at University of Illinois at Urbana-Champaign (USA), the University of Manchester (UK), Royal Holloway, …
- Brian Lamacchia
Brian LaMacchia is a computer security specialist. LaMacchia is best known for his work at MIT establishing the MIT PGP Key Server, the first key centric PKI implementation to see widescale use. LaMacchia currently works for Microsoft where he has played a leading role in the design of XKMS, the security architecture for .NET and Palladium. LaMacchia earned S.B., S.M., and Ph.D. degrees from MIT in 1990, 1991, and 1996, respectively.
- David A. Bader
David A. Bader (born May 4, 1969) is an Associate Professor and Executive Director of High-Performance Computing in the Georgia Tech College of Computing. In addition, Bader was selected as the director of the first Sony Toshiba IBM Center of Competence for the Cell Processor at the Georgia Institute of Technology. He is an National Science Foundation CAREER Award recipient and an IEEE Computer Society Distinguished Speaker.
- David Hanson
David R. Hanson is a Software Engineer at Google. He works in programming languages, compilers, software tools, and programming environments. Before joining Google, he was with Microsoft Research, Princeton, University of Arizona, and Yale. He has written many journal and conference papers and two books: "A Retargetable C Compiler: Design and Implementation" (ISBN 0-8053-1670-1, with Chris Fraser), which describes lcc, …
- Luke Pebody
Luke Pebody is a mathematician who solved the necklace problem. Educated at Rugby School, Luke Pebody was admitted to Cambridge University at the age of 14 to read mathematics. He went up when he was 16, making him one of the youngest undergraduates of all time. Having graduated with a Bachelor of Arts degree from Trinity College, Cambridge, he proceeded to a doctoral degree at the University of Memphis, where, working with respected graph theorist Béla Bollobás, …
- Tien-Min Li
Tien-Min Li (October 14, 1908 – June 24, 1993) was a Chinese Nationalist politician and political historian. Born in Sichuan province, Li studied at the Central Military Academy in Wuhan and completed his undergraduate studies in economics at Waseda University. He was elected as the Kuomintang candidate in 1948 to represent the municipality of Chengdu in Sichuan province in the Legislative Yuan of the Republic of China. He held this seat from 1948 until 1991, …
- Bill Gates
"Swiftwater" Bill Gates was an American frontiersman and fortune hunter, and a fixture in stories of the Klondike Gold Rush. He made and lost several fortunes, and died in Seattle in 1935. Despite the similarity in name and geography, there is no apparent family relationship between "Swiftwater Bill" and Microsoft founder Bill Gates.
- Bill Buxton
Bill Buxton's influential " Sketching The User Design " was published earlier this year, encapsulating much of the wisdom he's gained since the days of Xerox Parc through to today, where he is a Principal Researcher at Microsoft Research. Bill has been making significant contributions to the design community for a long time, and now he's helping to foster a design-oriented culture at Microsoft.
- Kentaro Toyama
Dr. Kentaro Toyama Researcher, Vision Technology Group, Microsoft Research Dr. Kentaro Toyama is with the Vision Technology Group at Microsoft Research . His work is primarily in the area of Vision-Based Interfaces, which apply techniques of computer vision to novel human-computer interfaces. His current research interests include person tracking, facial image analysis, and related topics in computer vision.