Related Research Articles
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.
David Bryant Mumford is an American mathematician known for his work in algebraic geometry and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science. He is currently a University Professor Emeritus in the Division of Applied Mathematics at Brown University.
Lenore Carol Blum is an American computer scientist and mathematician who has made 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.
Leslie Gabriel Valiant is a British American computer scientist and computational theorist. He was born to a chemical engineer father and a translator mother. 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.
John Tinsley Oden was an American engineer. He was 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 theoretical computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of 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.
Sir Richard Vynne Southwell, FRS was a British mathematician who specialised in applied mechanics as an engineering science academic.
Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.
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.
Georg Gottlob FRS is an Austrian-Italian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Calabria. He was Professor at the University of Oxford.
Diane L. Souvaine is a professor of computer science and an adjunct professor of mathematics at Tufts University.
Yousef Saad in Algiers, Algeria from Boghni, Tizi Ouzou, Kabylia 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. He is listed as an ISI highly cited researcher in mathematics, is the most cited author in the journal Numerical Linear Algebra with Applications, and is the author of the highly cited book Iterative Methods for Sparse Linear Systems. He is a SIAM fellow and a fellow of the AAAS (2011).
Leslie Frederick 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.
Rodney Graham Downey is a New Zealand and Australian mathematician and computer scientist, an emeritus 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.
Geoffrey Charles Fox is a British-born American theoretical physicist and computer scientist known for his contributions to parallel computing, data-intensive computing, and high-performance computing (HPC).
Marcus William Feldman is the Burnet C. and Mildred Finley Wohlford Professor of Biological Sciences, director of the Morrison Institute for Population and Resource Studies, and co-director of the Center for Computational, Evolutionary and Human Genomics (CEHG) at Stanford University. He is an Australian-born mathematician turned American theoretical biologist, best known for his mathematical evolutionary theory and computational studies in evolutionary biology, and for originating with L. L. Cavalli-Sforza the theory of cultural evolution.
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.
References
- 1 2 3 G. Mike Reed at the Mathematics Genealogy Project
- ↑ "Emeritus Fellows". UK: St Edmund Hall, Oxford . Retrieved 10 December 2016.
- ↑ "Mike Reed appointed director of software institute". UNU Update. Vol. 37. United Nations University. May–June 2005. Archived from the original on 2005-10-26.
