19 relations: Computation tree logic, CTL*, Edmund M. Clarke, Emerson (surname), Harvard John A. Paulson School of Engineering and Applied Sciences, Joseph Sifakis, List of computer scientists, List of Harvard University people, List of important publications in theoretical computer science, List of pioneers in computer science, List of Turing Award laureates by university affiliation, Model checking, Munindar P. Singh, Paris Kanellakis, Paris Kanellakis Award, Randal Bryant, Temporal logic, Turing Award, University of Texas at Austin College of Natural Sciences.
Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realized.
CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL).
Edmund Melson Clarke, Jr. (born July 27, 1945) is an American retired computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.
Emerson is an English surname derived from Anglo-Saxon Emars sunu, meaning "son of Emar" or "son of Ethelmar", and may refer to.
The Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS) is the engineering school within Harvard University's Faculty of Arts and Sciences (FAS).
Joseph Sifakis (Ιωσήφ Σηφάκης) is a Greek computer scientist with French citizenship,, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
This is a list of computer scientists, people who do work in computer science, in particular researchers and authors.
The list of Harvard University people includes notable graduates, professors, and administrators affiliated with Harvard University.
This is a list of important publications in theoretical computer science, organized by field.
This article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers and electronics could do.
The following list comprehensively shows Turing Award laureates by university affiliations since 1966 (as of 2018, 67 winners in total), grouped by their current and past affiliation to academic institutions.
In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.
Munindar P. Singh is an Alumni Distinguished Graduate Professor and a full professor in the Department of Computer Science at North Carolina State University.
Paris Christos Kanellakis (Πάρις Χρήστος Κανελλάκης; December 3, 1953 – December 20, 1995) was a Greek American computer scientist.
The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing".
Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware and software.
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to an individual selected for contributions "of lasting and major technical importance to the computer field".
The College of Natural Sciences at The University of Texas at Austin offers 10 Bachelor of Arts majors, 42 Bachelor of Science majors, and 20 graduate programs to more than 11,000 undergraduates and 1,300 graduate students.