Peter Benner (born May 25, 1967) is a German mathematician specialized in dynamical systems and numerical analysis. He was managing director at the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg, Germany. [1] [2]
Benner was born in Kirchen (Sieg). After graduating from high school in 1986 at the Freiherr vom Stein Gymnasium in Betzdorf, Benner studied mathematics with a minor in economics/operations research at the RWTH Aachen University from 1987. In 1993 he received the Springorum commemorative coin from RWTH Aachen for his diploma thesis. He received his doctorate in 1997 in the field of mathematics from the Chemnitz University of Technology under the supervision of Volker Mehrmann. From 1997 to 2001 he worked as a research assistant at the Center for Technomathematics at the University of Bremen. He completed his habilitation there in 2001. [3]
From 2001 to 2003, Benner taught as a senior assistant at the Institute for Mathematics at Technische Universität Berlin. In the meantime he worked as a visiting professor at the Hamburg University of Technology. In 2003 he accepted a professorship for mathematics in industry and technology at Chemnitz University of Technology. Benner was a visiting scientist and professor at the University of Kansas, the Università di Modena e Reggio Emilia, the Lawrence Berkeley National Laboratory, the Courant Institute of Mathematical Sciences of New York University, Virginia Tech, the Université du Littoral Côte d'Opale in Calais and Shanghai University employed. In 2018 he was a J. Tinsley Oden Faculty Fellow at the University of Texas at Austin. [3] [4]
In 2010, Benner was appointed director and scientific member at the Max Planck Institute for Dynamics of Complex Technical Systems. [5] He began research there with his specialist group Computational Methods in Systems and Control Theory at the Max Planck Institute on May 1, 2010. In the same year he was a visiting professor at the Université du Littoral Côte d'Opale in Calais, France. At the beginning of 2011 he was appointed honorary professor of mathematics at the Otto von Guericke University Magdeburg. In 2015, he was Distinguished Professor at Shanghai University. Since 2017 he has been a Fellow of the Society for Industrial and Applied Mathematics (SIAM) since 2017. [6]
Benner is co-editor of various publications and mathematical journals, including the SIAM Journal on Matrix Analysis and Applications and co-author of various software packages. He is involved in mathematical societies, including SIAM and the Society for Applied Mathematics and Mechanics (GAMM). He has also been a member of the Niconet e.V. association since 2006. V., who develops and maintains the software library “Subroutine Library in Systems and Control” (SLICOT). [7]
Peter Woit is a senior lecturer in the Mathematics department at Columbia University. Woit, a critic of string theory, has published a book Not Even Wrong (2006) and writes a blog of the same name.
Santorio Santorio whose real name was Santorio Santori better known in English as Sanctorius of Padua was an Italian physiologist, physician, and professor, who introduced the quantitative approach into the life sciences and is considered the father of experimental physiology. He is also known as the inventor of several medical devices. His work De Statica Medicina, written in 1614, saw many publications and influenced generations of physicians.
In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable. It generalizes the Boolean satisfiability problem (SAT) to more complex formulas involving real numbers, integers, and/or various data structures such as lists, arrays, bit vectors, and strings. The name is derived from the fact that these expressions are interpreted within ("modulo") a certain formal theory in first-order logic with equality. SMT solvers are tools that aim to solve the SMT problem for a practical subset of inputs. SMT solvers such as Z3 and cvc5 have been used as a building block for a wide range of applications across computer science, including in automated theorem proving, program analysis, program verification, and software testing.
Roland Carl Backhouse is a British computer scientist and mathematician. As of 2020, he is Emeritus Professor of Computing Science at the University of Nottingham.
Albrecht Böttcher is a German mathematician. His field of research is functional analysis.
Peter K. Friz is a mathematician working in the fields of partial differential equations, quantitative finance, and stochastic analysis.
Jürgen Jost is a German mathematician specializing in geometry. He has been a director of the Max Planck Institute for Mathematics in the Sciences in Leipzig since 1996.
Andrea Braides is an Italian mathematician, specializing in the calculus of variations. He is a professor at the University of Rome Tor Vergata and at the International School for Advanced Studies (SISSA) in Triest.
Martin Wirsing is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.
Martin Grötschel is a German mathematician known for his research on combinatorial optimization, polyhedral combinatorics, and operations research. From 1991 to 2012 he was Vice President of the Zuse Institute Berlin (ZIB) and served from 2012 to 2015 as ZIB's President. From 2015 to 2020 he was President of the Berlin-Brandenburg Academy of Sciences and Humanities (BBAW).
Sergio Doplicher is an Italian mathematical physicist, who mainly dealt with the mathematical foundations of quantum field theory and quantum gravity.
Volker Ludwig Mehrmann is a German mathematician.
Peter Bürgisser is a Swiss mathematician and theoretical computer scientist who deals with algorithmic algebra and algebraic complexity theory.
Tatjana Stykel is a Russian mathematician who works as a professor of computational mathematics in the Institute of Mathematics of the University of Augsburg in Germany. Her research interests include numerical linear algebra, control theory, and differential-algebraic systems of equations.
Klaus Fredenhagen is a German theoretical physicist who works on the mathematical foundations of quantum field theory.
Daniel Kressner is a German numerical analyst. He has a Chair of Numerical Algorithms and High Performance Computing in the Institute of Mathematics at EPF Lausanne.
Jürgen Kirschner is a German solid state physicist and a director at the Max Planck Institute of Microstructure Physics. Kirschner is known for his research in electron spectroscopy, including instrument development and the study of magnetic materials.
Hannu Frans Vilhelm Oja is a Finnish mathematical statistician and biostatistician known for his contribution to nonparametric inference, robust statistics, and multivariate statistical methods. He introduced the Oja median for multivariate distributions.
Houman Owhadi is a professor of Applied and Computational Mathematics and Control and Dynamical Systems in the Computing and Mathematical Sciences department at the California Institute of Technology. He is known for his work in statistical numerical approximation, kernel learning, and uncertainty quantification.
Mauricio G. C. Resende is a Brazilian-American research scientist with contributions to the field of mathematical optimization. He is best known for the development of the metaheuristics GRASP, and BRKGA as well as the first successful implementation of Karmarkar’s interior point algorithm.