Christel Baier (born 26 September 1965) [1] is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. [2] Baier is the editor-in-chief of Acta Informatica . [3]
Baier earned a diploma in mathematics at the University of Mannheim in 1990, and stayed at the same university for graduate study in computer science, completing her Ph.D. there in 1994. [2] Her dissertation, Transitionssystem- und Baum-Semantiken für CCS, was supervised by Mila Majster-Cederbaum. [4] She earned a habilitation at Mannheim in 1999. [2]
She became an associate professor for computer science at the University of Bonn in 1999, and moved to TU Dresden as a professor in 2006. [2]
With Joost-Pieter Katoen, Baier is coauthor of the book Principles of Model Checking (MIT Press, 2008). [5]
Baier was elected to the Academia Europaea in 2011. [6]
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 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.
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.
Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.
Carme Torras Genís is a Spanish computer scientist who has contributed to research on robotics and artificial intelligence. A member of Academia Europaea since 2010, she writes technical works in English and fiction in Catalan.
Ernst-Rüdiger Olderog is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. He heads the Correct Systems Design (CSD) group whose research is focused on programming language theory. Their research goal is methods for the systematic development of correct software for parallel and distributed systems under real-time constraints. In 1994, Olderog was awarded the Leibnitz Prize of the German Research Foundation (DFG) for his work. He authored a number of scientific books and served as editor-in-chief of the journal Acta Informatica and as chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. His work in this Working Group was awarded the IFIP Silver Core in 1998.
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, descriptive complexity theory, and graph neural networks. 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.
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.
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.
Krzysztof R. Apt is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland in 1974. His research interests include program correctness and semantics, use of logic as a programming language, distributed computing, and game theory. Besides his own research, he has been heavily involved in service to the computing community, notably by promoting the use of logic in computer science and by advocating open access to scientific literature.
{{citation}}: CS1 maint: untitled periodical (link){{citation}}: CS1 maint: untitled periodical (link)| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
