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

Edmund M. Clarke

Index 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. [1]

56 relations: Abstract interpretation, Academy, Allen Newell, American Academy of Arts and Sciences, Association for Computing Machinery, Automated theorem proving, Bachelor of Arts, Bhubaneswar Mishra, Binary decision diagram, Cambridge, Massachusetts, Carnegie Mellon School of Computer Science, Carnegie Mellon University, Charlottesville, Virginia, Computer hardware, Computer science, Computer scientist, Cornell University, David L. Dill, Doctor of Philosophy, Duke University, Durham, North Carolina, E. Allen Emerson, Electronic design automation, Fellow, Finite-state machine, FORE Systems, Franklin Institute, Franklin Institute Awards, Harry H. Goode, Harvard John A. Paulson School of Engineering and Applied Sciences, Harvard University, Herbrand Award, Hoare logic, IEEE Computer Society, Institute of Electrical and Electronics Engineers, Ithaca, New York, Joseph Sifakis, List of pioneers in computer science, Master of Arts, Mathematics, Model checking, National Academy of Engineering, National Science Foundation, Paris Kanellakis Award, Phi Beta Kappa, Pittsburgh, Programming language, Randal Bryant, Robert Lee Constable, Semiconductor Research Corporation, ..., Sigma Xi, Software, Thesis, Turing Award, University of Virginia, Verification and validation. Expand index (6 more) »

Abstract interpretation

In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices.

New!!: Edmund M. Clarke and Abstract interpretation · See more »

Academy

An academy (Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary education, higher learning, research, or honorary membership.

New!!: Edmund M. Clarke and Academy · See more »

Allen Newell

Allen Newell (March 19, 1927 – July 19, 1992) was a researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University’s School of Computer Science, Tepper School of Business, and Department of Psychology.

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

American Academy of Arts and Sciences

The American Academy of Arts and Sciences is one of the oldest learned societies in the United States of America.

New!!: Edmund M. Clarke and American Academy of Arts and Sciences · See more »

Association for Computing Machinery

The Association for Computing Machinery (ACM) is an international learned society for computing.

New!!: Edmund M. Clarke and Association for Computing Machinery · See more »

Automated theorem proving

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.

New!!: Edmund M. Clarke and Automated theorem proving · See more »

Bachelor of Arts

A Bachelor of Arts (BA or AB, from the Latin baccalaureus artium or artium baccalaureus) is a bachelor's degree awarded for an undergraduate course or program in either the liberal arts, sciences, or both.

New!!: Edmund M. Clarke and Bachelor of Arts · See more »

Bhubaneswar Mishra

Bhubaneswar Mishra (or Bud Mishra, born 9 November 1961) is an Indian American computer scientist and professor at the Courant Institute of Mathematical Sciences of New York University.

New!!: Edmund M. Clarke and Bhubaneswar Mishra · See more »

Binary decision diagram

In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function.

New!!: Edmund M. Clarke and Binary decision diagram · See more »

Cambridge, Massachusetts

Cambridge is a city in Middlesex County, Massachusetts, and part of the Boston metropolitan area.

New!!: Edmund M. Clarke and Cambridge, Massachusetts · See more »

Carnegie Mellon School of Computer Science

The School of Computer Science (SCS) at Carnegie Mellon University in Pittsburgh, Pennsylvania, US is a leading private school for computer science established in 1988.

New!!: Edmund M. Clarke and Carnegie Mellon School of Computer Science · See more »

Carnegie Mellon University

Carnegie Mellon University (commonly known as CMU) is a private research university in Pittsburgh, Pennsylvania.

New!!: Edmund M. Clarke and Carnegie Mellon University · See more »

Charlottesville, Virginia

Charlottesville, colloquially known as C'ville and officially named the City of Charlottesville, is an independent city in the Commonwealth of Virginia.

New!!: Edmund M. Clarke and Charlottesville, Virginia · See more »

Computer hardware

Computer hardware includes the physical parts or components of a computer, such as the central processing unit, monitor, keyboard, computer data storage, graphic card, sound card and motherboard.

New!!: Edmund M. Clarke and Computer hardware · See more »

Computer science

Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.

New!!: Edmund M. Clarke and Computer science · See more »

Computer scientist

A computer scientist is a person who has acquired the knowledge of computer science, the study of the theoretical foundations of information and computation and their application.

New!!: Edmund M. Clarke and Computer scientist · See more »

Cornell University

Cornell University is a private and statutory Ivy League research university located in Ithaca, New York.

New!!: Edmund M. Clarke and Cornell University · See more »

David L. Dill

David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology.

New!!: Edmund M. Clarke and David L. Dill · See more »

Doctor of Philosophy

A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.

New!!: Edmund M. Clarke and Doctor of Philosophy · See more »

Duke University

Duke University is a private, non-profit, research university located in Durham, North Carolina.

New!!: Edmund M. Clarke and Duke University · See more »

Durham, North Carolina

Durham is a city in the U.S. state of North Carolina.

New!!: Edmund M. Clarke and Durham, North Carolina · See more »

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.

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

Electronic design automation

Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing electronic systems such as integrated circuits and printed circuit boards.

New!!: Edmund M. Clarke and Electronic design automation · See more »

Fellow

A fellow is a member of a group (or fellowship) that work together in pursuing mutual knowledge or practice.

New!!: Edmund M. Clarke and Fellow · See more »

Finite-state machine

A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a state machine, is a mathematical model of computation.

New!!: Edmund M. Clarke and Finite-state machine · See more »

FORE Systems

FORE Systems was a computer network switching equipment company based in Pittsburgh, Pennsylvania.

New!!: Edmund M. Clarke and FORE Systems · See more »

Franklin Institute

The Franklin Institute is a science museum and the center of science education and research in Philadelphia, Pennsylvania.

New!!: Edmund M. Clarke and Franklin Institute · See more »

Franklin Institute Awards

The Franklin Institute Awards (or Benjamin Franklin Medal) is a science and engineering award presented since 1824 by the Franklin Institute, of Philadelphia, Pennsylvania, US.

New!!: Edmund M. Clarke and Franklin Institute Awards · See more »

Harry H. Goode

Harry H. Goode (June 30, 1909 – October 30, 1960) was an American computer engineer and systems engineer and professor at the University of Michigan.

New!!: Edmund M. Clarke and Harry H. Goode · 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!!: Edmund M. Clarke and Harvard John A. Paulson School of Engineering and Applied Sciences · See more »

Harvard University

Harvard University is a private Ivy League research university in Cambridge, Massachusetts.

New!!: Edmund M. Clarke and Harvard University · See more »

Herbrand Award

The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by CADE Inc.

New!!: Edmund M. Clarke and Herbrand Award · See more »

Hoare logic

Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

New!!: Edmund M. Clarke and Hoare logic · See more »

IEEE Computer Society

IEEE Computer Society (sometimes abbreviated Computer Society or CS) is a professional society of IEEE.

New!!: Edmund M. Clarke and IEEE Computer Society · See more »

Institute of Electrical and Electronics Engineers

The Institute of Electrical and Electronics Engineers (IEEE) is a professional association with its corporate office in New York City and its operations center in Piscataway, New Jersey.

New!!: Edmund M. Clarke and Institute of Electrical and Electronics Engineers · See more »

Ithaca, New York

Ithaca is a city in the Finger Lakes region of New York.

New!!: Edmund M. Clarke and Ithaca, New York · 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!!: Edmund M. Clarke and Joseph Sifakis · 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!!: Edmund M. Clarke and List of pioneers in computer science · See more »

Master of Arts

A Master of Arts (Magister Artium; abbreviated MA; also Artium Magister, abbreviated AM) is a person who was admitted to a type of master's degree awarded by universities in many countries, and the degree is also named Master of Arts in colloquial speech.

New!!: Edmund M. Clarke and Master of Arts · See more »

Mathematics

Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Edmund M. Clarke and Mathematics · 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!!: Edmund M. Clarke and Model checking · See more »

National Academy of Engineering

The National Academy of Engineering (NAE) is an American nonprofit, non-governmental organization.

New!!: Edmund M. Clarke and National Academy of Engineering · See more »

National Science Foundation

The National Science Foundation (NSF) is a United States government agency that supports fundamental research and education in all the non-medical fields of science and engineering.

New!!: Edmund M. Clarke and National Science Foundation · 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!!: Edmund M. Clarke and Paris Kanellakis Award · See more »

Phi Beta Kappa

The Phi Beta Kappa Society (ΦΒΚ) is the oldest academic honor society in the United States.

New!!: Edmund M. Clarke and Phi Beta Kappa · See more »

Pittsburgh

Pittsburgh is a city in the Commonwealth of Pennsylvania in the United States, and is the county seat of Allegheny County.

New!!: Edmund M. Clarke and Pittsburgh · See more »

Programming language

A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.

New!!: Edmund M. Clarke and Programming language · 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!!: Edmund M. Clarke and Randal Bryant · See more »

Robert Lee Constable

Robert "Bob" Lee Constable is a professor of computer science and first and former dean of the department at Cornell University, United States.

New!!: Edmund M. Clarke and Robert Lee Constable · See more »

Semiconductor Research Corporation

Semiconductor Research Corporation (SRC) is an American technology research consortium.

New!!: Edmund M. Clarke and Semiconductor Research Corporation · See more »

Sigma Xi

Sigma Xi: The Scientific Research Honor Society (ΣΞ) is a non-profit honor society for scientists and engineers which was founded in 1886 at Cornell University by a junior faculty member and a handful of graduate students.

New!!: Edmund M. Clarke and Sigma Xi · See more »

Software

Computer software, or simply software, is a generic term that refers to a collection of data or computer instructions that tell the computer how to work, in contrast to the physical hardware from which the system is built, that actually performs the work.

New!!: Edmund M. Clarke and Software · See more »

Thesis

A thesis or dissertation is a document submitted in support of candidature for an academic degree or professional qualification presenting the author's research and findings.

New!!: Edmund M. Clarke and Thesis · 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!!: Edmund M. Clarke and Turing Award · See more »

University of Virginia

The University of Virginia (U.Va. or UVA), frequently referred to simply as Virginia, is a public research university and the flagship for the Commonwealth of Virginia.

New!!: Edmund M. Clarke and University of Virginia · See more »

Verification and validation

Verification and validation are independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.

New!!: Edmund M. Clarke and Verification and validation · See more »

Redirects here:

E. M. Clarke, Edmund Clarke.

References

[1] https://en.wikipedia.org/wiki/Edmund_M._Clarke

OutgoingIncoming
Hey! We are on Facebook now! »