Showing
1 - 1
results of
1
for search '
Clarke, Edmund
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Clarke, Edmund
Edmund M. Clarke
Edmund Melson Clarke, Jr.
(July 27, 1945 – December 22, 2020) was an American
computer scientist
and
academic
noted for developing
model checking
, a method for
formally verifying
hardware
and
software
designs. He was the
FORE Systems
Professor of
Computer Science
at
Carnegie Mellon University
. Clarke, along with
E. Allen Emerson
and
Joseph Sifakis
, received the 2007
ACM
Turing Award
.
Provided by Wikipedia
Search Results
Showing
1 - 1
results of
1
for search '
Clarke, Edmund
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Please enable Javascript.
Please upgrade your browser.
What am I looking at?
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
Exciton−polariton
Eðlisfræði
Microcavity
Nonlinear physics
One-dimensional kinetics
Skautun (rafsegulfræði)
Soliton
TE−TM splitting
Öreindir
Loading...