Related Research Articles
Neil Immerman is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst. He is one of the key developers of descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory.
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.
Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.
Leonid Libkin is a computer scientist who works in data management, in particular in database theory, and in logic in computer science.
Sara Negri is a mathematical logician who studies proof theory. She is Italian, worked in Finland for several years, where she was a professor of theoretical philosophy in the University of Helsinki, and currently holds a position as professor of mathematical logic at the University of Genoa.
Joost-Pieter Katoen is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente.
Jean Estelle Hirsh Rubin was an American mathematician known for her research on the axiom of choice. She worked for many years as a professor of mathematics at Purdue University. Rubin wrote five books: three on the axiom of choice, and two more on more general topics in set theory and mathematical logic.
María Gracia Manzano Arjona is a Spanish philosopher specializing in mathematical logic and model theory.
Gabriella Tarantello is an Italian mathematician specializing in partial differential equations, differential geometry, and gauge theory. She is a professor in the department of mathematics at the University of Rome Tor Vergata.
Martin Grohe is a German mathematician and computer scientist known for his research on parameterized complexity, mathematical logic, finite model theory, the logic of graphs, database theory, and descriptive complexity theory. He is a University Professor of Computer Science at RWTH Aachen University, where he holds the Chair for Logic and Theory of Discrete Systems.
Orna Kupferman is a Professor of Computer Science and former Vice Rector at the Hebrew University of Jerusalem. She was elected to the Academia Europaea in 2016.
Anne C. Morel was an American mathematician known for her work in logic, order theory, and algebra. She was the first female full professor of mathematics at the University of Washington.
Katrin Tent is a German mathematician specializing in group theory, the symmetries of groups, algebraic model theory, and finite geometry. She is a professor of mathematics and mathematical logic at the University of Münster.
Maria Luisa Dalla Chiara Scabia is an Italian logician and philosopher of science, known for her work on quantum logic and quasi-set theory. She is a professor emerita at the University of Florence.
Sonja Brentjes is a German historian of science, historian of mathematics, and historian of cartography known for her work on mapmapking and mathematics in medieval Islam.
Nicola Leone is an Italian computer scientist who works in the areas of artificial intelligence, knowledge representation and reasoning, and database theory. Leone is currently the rector of the University of Calabria and a professor of Computer Science. Previously, he was a professor of Database Systems at the TU Wien.
Ulrike Leopold-Wildburger is an Austrian mathematical economist, applied mathematician, and operations researcher. She is a professor emeritus at the University of Graz, where she headed the department of statistics and operations research, and is a former president of the Austrian Society of Operations Research.
Kärin Nickelsen is a German historian of science whose works have included books on eighteenth-century botanical illustration, photosynthesis, and life-support systems for human spaceflight. She is a professor at Ludwig Maximilian University of Munich.
Michela Massimi is an Italian and British philosopher of science, a professor of philosophy at the University of Edinburgh, and the president-elect of the Philosophy of Science Association. Her research has involved scientific perspectivism and perspectival realism, the Pauli exclusion principle, and the work of Immanuel Kant.
Principles of Model Checking is a textbook on model checking, an area of computer science that automates the problem of determining if a machine meets specification requirements. It was written by Christel Baier and Joost-Pieter Katoen, and published in 2008 by MIT Press.
References
- ↑ Birth date from Academia Europaea new member list, 2011, retrieved 2020-10-04
- 1 2 3 4 Short bio, TU Dresden, retrieved 2020-10-04
- ↑ "Editorial board", Acta Informatica, Springer, retrieved 2020-10-04
- ↑ Christel Baier at the Mathematics Genealogy Project
- ↑ Reviews of Principles of Model Checking:
- Ciobanu, Gabriel M., "Review", ACM Computing Reviews
- Lange, Martin (2010), MathSciNet , MR 2493187
{{citation}}: CS1 maint: untitled periodical (link) - Laroussinie, François (April 2009), The Computer Journal, 53 (5): 615–616, doi:10.1093/comjnl/bxp025
{{citation}}: CS1 maint: untitled periodical (link)
- ↑ "Christel Baier", Member profiles, Academia Europaea, retrieved 2020-10-04
