Grigory Isaakovich Barenblatt was a Russian mathematician.
The Johannes Kepler University Linz is a public institution of higher education in Austria. It is located in Linz, the capital of Upper Austria. It offers bachelor's, master's, diploma and doctoral degrees in business, engineering, law, science, social sciences and medicine.
Bruno Buchberger is Professor of Computer Mathematics at Johannes Kepler University in Linz, Austria. In his 1965 Ph.D. thesis, he created the theory of Gröbner bases, and has developed this theory throughout his career. He named these objects after his advisor Wolfgang Gröbner. Since 1995, he has been active in the Theorema project at the University of Linz.
Michael Fredric Sipser is an American theoretical computer scientist who has made early contributions to computational complexity theory. He is a professor of applied mathematics and was the Dean of Science at the Massachusetts Institute of Technology.
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.
Kurt Mehlhorn is a German theoretical computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for 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.
Herbert Edelsbrunner is a computer scientist working in the field of computational geometry, the Arts & Science Professor of Computer Science and Mathematics at Duke University, Professor at the Institute of Science and Technology Austria (ISTA), and the co-founder of Geomagic, Inc. He was the first of only three computer scientists to win the National Science Foundation's Alan T. Waterman Award.
János Pach is a mathematician and computer scientist working in the fields of combinatorics and discrete and computational geometry.
Endre Süli is a mathematician. He is Professor of Numerical Analysis in the Mathematical Institute, University of Oxford, Fellow and Tutor in Mathematics at Worcester College, Oxford and Adjunct Fellow of Linacre College, Oxford. He was educated at the University of Belgrade and, as a British Council Visiting Student, at the University of Reading and St Catherine's College, Oxford. His research is concerned with the mathematical analysis of numerical algorithms for nonlinear partial differential equations.
Sauro Succi is an Italian scientist, internationally credited for being one of the founders of the successful Lattice Boltzmann method for fluid dynamics and soft matter.
Lydia E. Kavraki is a Greek-American computer scientist, the Noah Harding Professor of Computer Science, a professor of bioengineering, electrical and computer engineering, and mechanical engineering at Rice University. She is also the director of the Ken Kennedy Institute at Rice University. She is known for her work on robotics/AI and bioinformatics/computational biology and in particular for the probabilistic roadmap method for robot motion planning and biomolecular configuration analysis.
William John Cook is an American operations researcher and mathematician, and Professor of Combinatorics and Optimization at the University of Waterloo.
Manuel Kauers is a German mathematician and computer scientist. He is working on computer algebra and its applications to discrete mathematics. He is currently professor for algebra at Johannes Kepler University (JKU) in Linz, Austria, and leader of the Institute for Algebra at JKU. Before that, he was affiliated with that university's Research Institute for Symbolic Computation (RISC).
Thomas Henzinger is an Austrian computer scientist, researcher, and president of the Institute of Science and Technology, Austria.
Philippe Gabriel Michel is a French mathematician who holds the chair in analytic number theory at the École Polytechnique Fédérale de Lausanne in Switzerland.
Heinz Werner Engl is an Austrian mathematician who currently serves as the rector of the University of Vienna.
Karine Chemla is a French historian of mathematics and sinologist who works as a director of research at the Centre national de la recherche scientifique (CNRS). She is also a senior fellow at the New York University Institute for the Study of the Ancient World. She was elected a Member of the American Philosophical Society in 2019.
Thomas Lengauer is a German computer scientist and computational biologist.
Jin-Yi Cai is a Chinese American mathematician and computer scientist. He is a professor of computer science, and also the Steenbock Professor of Mathematical Sciences at the University of Wisconsin–Madison. His research is in theoretical computer science, especially computational complexity theory. In recent years he has concentrated on the classification of computational counting problems, especially counting graph homomorphisms, counting constraint satisfaction problems, and Holant problems as related to holographic algorithms.
