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) » « Shrink index
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.
An academy (Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary education, higher learning, research, or honorary membership.
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.
The American Academy of Arts and Sciences is one of the oldest learned societies in the United States of America.
The Association for Computing Machinery (ACM) is an international learned society for computing.
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.
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.
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.
In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function.
Cambridge is a city in Middlesex County, Massachusetts, and part of the Boston metropolitan area.
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.
Carnegie Mellon University (commonly known as CMU) is a private research university in Pittsburgh, Pennsylvania.
Charlottesville, colloquially known as C'ville and officially named the City of Charlottesville, is an independent city in the Commonwealth of Virginia.
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.
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
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.
Cornell University is a private and statutory Ivy League research university located in Ithaca, New York.
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.
A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.
Duke University is a private, non-profit, research university located in Durham, North Carolina.
Durham is a city in the U.S. state of North Carolina.
Ernest Allen Emerson (born June 2, 1954) is a computer scientist and endowed professor at the University of Texas, Austin, United States.
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.
A fellow is a member of a group (or fellowship) that work together in pursuing mutual knowledge or practice.
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.
FORE Systems was a computer network switching equipment company based in Pittsburgh, Pennsylvania.
The Franklin Institute is a science museum and the center of science education and research in Philadelphia, Pennsylvania.
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.
Harry H. Goode (June 30, 1909 – October 30, 1960) was an American computer engineer and systems engineer and professor at the University of Michigan.
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).
Harvard University is a private Ivy League research university in Cambridge, Massachusetts.
The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by CADE Inc.
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.
IEEE Computer Society (sometimes abbreviated Computer Society or CS) is a professional society of IEEE.
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.
Ithaca is a city in the Finger Lakes region of New York.
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 article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers and electronics could do.
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.
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
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.
The National Academy of Engineering (NAE) is an American nonprofit, non-governmental organization.
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.
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".
The Phi Beta Kappa Society (ΦΒΚ) is the oldest academic honor society in the United States.
Pittsburgh is a city in the Commonwealth of Pennsylvania in the United States, and is the county seat of Allegheny County.
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
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.
Robert "Bob" Lee Constable is a professor of computer science and first and former dean of the department at Cornell University, United States.
Semiconductor Research Corporation (SRC) is an American technology research consortium.
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.
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.
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.
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 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.
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.