Orna Grumberg (Hebrew: ארנה גרימברג; born on April 30, 1952, in Hadera, near Haifa) is an Israeli computer scientist and academic who holds the Leumi Chair of Science at the Technion. Grumberg is known for creating model checking, a method used to formally verify hardware and software designs. She co-authored the book Model Checking (MIT Press, 1999) with Edmund M.
Moshe Ya’akov Vardi (Hebrew: משה יעקב ורדי) MAE ForMemRS is an Israeli scientist who studies how computers work. He holds the Karen Ostrum George Distinguished Service Professor position in Computational Engineering at Rice University, United States, and serves as a faculty advisor for the Ken Kennedy Institute. His research focuses on using logic in computer science, including topics like database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic in school subjects.
Pierre Wolper is a Belgian computer scientist who works at the University of Liège. His research focuses on methods to check if programs that respond to events or handle multiple tasks at once work correctly, as well as databases that track changes over time. In 2000, he shared the Gödel Prize with Moshe Y.
In computer science, partial order reduction is a method used to make the process of searching through a set of possible situations easier for tools like model checking or planning and scheduling systems. It uses the fact that certain actions can be done in different orders without changing the final result. When exploring the set of possible situations, partial order reduction often involves looking at a smaller group of actions that represent all possible choices.
Thomas Henzinger was born in 1962. He is an Austrian computer scientist and researcher. He was the former president of the Institute of Science and Technology in Austria.
Rajeev Alur is an American professor of computer science at the University of Pennsylvania. He has worked on formal methods, programming languages, and automata theory. He is known for introducing timed automata (Alur and Dill, 1994) and nested words (Alur and Madhusudan, 2004).
Robert A. Kurson (born April 18, 1963) is an American author. He is most famous for his 2004 best-selling book, Shadow Divers.
Gerard J. Holzmann was born in 1951. He is a Dutch and American computer scientist and researcher at Bell Labs and NASA.
Tim King (born June 15, 1967) is an American teacher, leader of a non-profit organization, and the founder and chief executive officer of Urban Prep Academies, a group of all-male public charter high schools in Chicago. Tim King and Urban Prep Academies have gained attention worldwide because since the school’s first graduating class in 2010, every graduate has been accepted into a four-year college or university.
Cesare Torelli Romano was an Italian painter. He was born in Rome and studied under Giovanni de’ Vecchi. He was active during the time when Paul V was the Pope.