G. Mike Reed | |
---|---|
Born | |
Nationality | American |
Citizenship | United States |
Alma mater | Auburn University; University of Oxford |
Known for | Communicating Sequential Processes |
Scientific career | |
Fields | Mathematics, computer science |
Institutions | University of Oxford; UNU-IIST |
Doctoral advisor | Ben Fitzpatrick Jr.; Bill Roscoe [1] |
Doctoral students | Steve Schneider [1] |
George Michael ("Mike") Reed is an American computer scientist. He has contributed to theoretical computer science in general and CSP in particular.
Mike Reed has a doctorate in pure mathematics from Auburn University, United States, and a doctorate in computation from Oxford University, England. [1] He has an interest in mathematical topology.
Reed was a Senior Research Associate at NASA Goddard Space Flight Center.[ citation needed ] From 1986 to 2005, he was at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in England where he was also a Fellow in Computation of St Edmund Hall, Oxford (1986–2005). [2] In 2005, he became Director of UNU/IIST, Macau, part of the United Nations University. [3]
John Edward Hopcroft is an American theoretical computer scientist. His textbooks on theory of computation and data structures are regarded as standards in their fields. He is the IBM Professor of Engineering and Applied Mathematics in Computer Science at Cornell University, Co-Director of the Center on Frontiers of Computing Studies at Peking University, and the Director of the John Hopcroft Center for Computer Science at Shanghai Jiao Tong University.
James Hardy Wilkinson FRS was a prominent figure in the field of numerical analysis, a field at the boundary of applied mathematics and computer science particularly useful to physics and engineering.
Lenore Carol Blum is an American computer scientist and mathematician who has made pioneering contributions to the theories of real number computation, cryptography, and pseudorandom number generation. She was a distinguished career professor of computer science at Carnegie Mellon University until 2019 and is currently a professor in residence at the University of California, Berkeley. She is also known for her efforts to increase diversity in mathematics and computer science.
Zhou Chaochen is a Chinese computer scientist.
Richard Alfred Tapia is an American mathematician and University Professor at Rice University in Houston, Texas, the university's highest academic title. In 2011, President Obama awarded Tapia the National Medal of Science. He is currently the Maxfield and Oshman Professor of Engineering; Associate Director of Graduate Studies, Office of Research and Graduate Studies; and Director of the Center for Excellence and Equity in Education at Rice University.
Leslie Gabriel Valiant is a British American computer scientist and computational theorist. He is currently the T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics at Harvard University. Valiant was awarded the Turing Award in 2010, having been described by the A.C.M. as a heroic figure in theoretical computer science and a role model for his courage and creativity in addressing some of the deepest unsolved problems in science; in particular for his "striking combination of depth and breadth".
Guy Antony Jameson, FRS, FREng is Professor in the Department of Aerospace Engineering at Texas A&M University. Jameson is known for his pioneering work in the field of computational fluid dynamics. He has published more than 300 scientific papers in a wide range of areas including computational fluid dynamics, aerodynamics, and control theory.
Michael Spencer Waterman is a Professor of Biology, Mathematics and Computer Science at the University of Southern California (USC), where he holds an Endowed Associates Chair in Biological Sciences, Mathematics and Computer Science. He previously held positions at Los Alamos National Laboratory and Idaho State University.
J. Tinsley Oden is the Associate Vice President for Research, the Cockrell Family Regents' Chair in Engineering #2, the Peter O'Donnell, Jr. Centennial Chair in Computing Systems, a Professor of Aerospace Engineering and Engineering Mechanics, a Professor of Mathematics, and a Professor of Computer Science at The University of Texas at Austin. Oden has been listed as an ISI Highly Cited Author in Engineering by the ISI Web of Knowledge, Thomson Scientific Company.
Moshe Ya'akov Vardi is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. He is University Professor, the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.
Michael Ralph Fellows AC HFRSNZ MAE is a computer scientist and the Elite Professor of Computer Science in the Department of Informatics at the University of Bergen, Norway as of January 2016.
Diane L. Souvaine is a professor of computer science and adjunct professor of mathematics at Tufts University.
Ruzena Bajcsy is an American engineer and computer scientist who specializes in robotics. She is Professor of Electrical Engineering and Computer Science at the University of California, Berkeley, where she is also Director Emerita of CITRIS.
Yousef Saad is an I.T. Distinguished Professor of Computer Science in the Department of Computer Science and Engineering at the University of Minnesota. He holds the William Norris Chair for Large-Scale Computing since January 2006. He is known for his contributions to the matrix computations, including the iterative methods for solving large sparse linear algebraic systems, eigenvalue problems, and parallel computing. Saad is listed as an ISI highly cited researcher in mathematics and is the author of the highly cited book Iterative Methods for Sparse Linear Systems. Yousef Saad is a SIAM fellow and a fellow of the AAAS (2011).
Joseph S. B. Mitchell is an American computer scientist and mathematician. He is Distinguished Professor and Department Chair of Applied Mathematics and Statistics and Research Professor of Computer Science at Stony Brook University.
Dr. Leslie F. Greengard is an American mathematician, physicist and computer scientist. He is co-inventor with Vladimir Rokhlin Jr. of the fast multipole method (FMM) in 1987, recognized as one of the top-ten algorithms of the 20th century.
Robert Lee Constable is an American computer scientist. He is a professor of computer science and first and former dean of the department at Cornell University, United States. He is known for his work on connecting computer programs and mathematical proofs, especially the Nuprl system. Alonzo Church was supervising the junior thesis of Robert while he was studying in Princeton. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students, including Edmund M. Clarke, Robert Harper, Kurt Mehlhorn, Steven Muchnick, Pavel Naumov, and Ryan Stansifer. He is a Fellow of the Association for Computing Machinery.
Rodney Graham Downey is a New Zealand and Australian mathematician and computer scientist, a professor in the School of Mathematics and Statistics at Victoria University of Wellington in New Zealand. He is known for his work in mathematical logic and computational complexity theory, and in particular for founding the field of parameterised complexity together with Michael Fellows.
Jill P. Mesirov is an American mathematician, computer scientist, and computational biologist who is the Associate Vice Chancellor for Computational Health Sciences at the University of California, San Diego. She previously held an adjunct faculty position at Boston University and was the associate director and chief informatics officer at the Eli and Edythe L. Broad Institute of MIT and Harvard.
Michael Bryce Giles is a British mathematician and computer scientist. He is a Professor of Scientific Computing and Head of Department at the Mathematical Institute, University of Oxford and a Fellow of St Hugh’s College, Oxford. He is best known for developing Multilevel Monte Carlo methods.