Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Install
Faster access than browser!
 

E. Allen Emerson

Index E. Allen Emerson

Ernest Allen Emerson (born June 2, 1954) is a computer scientist and endowed professor at the University of Texas, Austin, United States. [1]

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

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.

New!!: E. Allen Emerson and Computation tree logic · See more »

CTL*

CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL).

New!!: E. Allen Emerson and CTL* · See more »

Edmund M. Clarke

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.

New!!: E. Allen Emerson and Edmund M. Clarke · See more »

Emerson (surname)

Emerson is an English surname derived from Anglo-Saxon Emars sunu, meaning "son of Emar" or "son of Ethelmar", and may refer to.

New!!: E. Allen Emerson and Emerson (surname) · See more »

Harvard John A. Paulson School of Engineering and Applied Sciences

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).

New!!: E. Allen Emerson and Harvard John A. Paulson School of Engineering and Applied Sciences · See more »

Joseph Sifakis

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.

New!!: E. Allen Emerson and Joseph Sifakis · See more »

List of computer scientists

This is a list of computer scientists, people who do work in computer science, in particular researchers and authors.

New!!: E. Allen Emerson and List of computer scientists · See more »

List of Harvard University people

The list of Harvard University people includes notable graduates, professors, and administrators affiliated with Harvard University.

New!!: E. Allen Emerson and List of Harvard University people · See more »

List of important publications in theoretical computer science

This is a list of important publications in theoretical computer science, organized by field.

New!!: E. Allen Emerson and List of important publications in theoretical computer science · See more »

List of pioneers in computer science

This article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers and electronics could do.

New!!: E. Allen Emerson and List of pioneers in computer science · See more »

List of Turing Award laureates by university affiliation

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.

New!!: E. Allen Emerson and List of Turing Award laureates by university affiliation · See more »

Model checking

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.

New!!: E. Allen Emerson and Model checking · See more »

Munindar P. Singh

Munindar P. Singh is an Alumni Distinguished Graduate Professor and a full professor in the Department of Computer Science at North Carolina State University.

New!!: E. Allen Emerson and Munindar P. Singh · See more »

Paris Kanellakis

Paris Christos Kanellakis (Πάρις Χρήστος Κανελλάκης; December 3, 1953 – December 20, 1995) was a Greek American computer scientist.

New!!: E. Allen Emerson and Paris Kanellakis · See more »

Paris Kanellakis Award

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".

New!!: E. Allen Emerson and Paris Kanellakis Award · See more »

Randal Bryant

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.

New!!: E. Allen Emerson and Randal Bryant · See more »

Temporal logic

In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.

New!!: E. Allen Emerson and Temporal logic · See more »

Turing Award

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".

New!!: E. Allen Emerson and Turing Award · See more »

University of Texas at Austin College of Natural Sciences

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.

New!!: E. Allen Emerson and University of Texas at Austin College of Natural Sciences · See more »

Redirects here:

Allen Emerson, E Allen Emerson, E. A. Emerson, Ernest Allen Emerson.

References

[1] https://en.wikipedia.org/wiki/E._Allen_Emerson

OutgoingIncoming
Hey! We are on Facebook now! »