Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

E. Allen Emerson · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Polski Português Svenska Türkçe Русский العربية فارسی 한국어 中文日本語

EntityQ92821· pop 27· linked from 148 articles

E. Allen Emerson

American computer scientist (1954–2024)

Person · Open Library

Born: 1954-06-02
Died: 2024-10-15
Works: 2

Top works

Computer aided verification
Computer Aided Verification

via Open Library + Wikidata

Music · MusicBrainz

Type: Person
Country: GB
Active from: 1944-11-02
Active to: 2016-03-10

via MusicBrainz · CC0

Recent publications · Crossref

5 total works indexed

SciPy 1.0: fundamental algorithms for scientific computing in Python
· 2020 · cited 34,522x

Connections

University of Texas at Austin

Categories

1954 births 2024 deaths American computer scientists Formal methods people Harvard University alumni Turing Award laureates University of Texas at Austin College of Natural Sciences alumni University of Texas at Austin faculty

Sources

wikipedia.externallinksexternallink
Open Libraryauthor-profile
musicbrainzmusic-artist
Wikidata (CC0)wikidata-claims
crossrefcrossref-works

UK Biobank: An Open Access Resource for Identifying the Causes of a Wide Range of Complex Diseases of Middle and Old Age

· 2015 · cited 11,886x

The Unity and Diversity of Executive Functions and Their Contributions to Complex “Frontal Lobe” Tasks: A Latent Variable Analysis

· 2000 · cited 11,591x

Observation of Gravitational Waves from a Binary Black Hole Merger

· 2016 · cited 11,419x

Use of Ranks in One-Criterion Variance Analysis

· 1952 · cited 10,522x

via Crossref · CC0

Key dates

Born: 2 June 1954
Died: 15 October 2024

via Wikidata · CC0

Wikidata facts

Instance of: human
Given name: Ernest
Gender: male
Citizenship: United States
Place of birth: Dallas
Place of death: Austin
Occupation: mathematician
Employer: University of Texas at Austin
Languages spoken: English language
Award: Paris Kanellakis Award
Doctoral advisor: Edmund M. Clarke
Official website: www.cs.utexas.edu/~emerson
Image: E-allen-emerson (3x4 cropped).jpg

Show 2 more facts

P2650: applied mathematics
P6104: WikiProject Mathematics

via Wikidata · CC0

Texas

Entity

computer science

International Standard Book Number

Tim Berners-Lee

Harvard University

digital object identifier

International Standard Serial Number

mathematical logic

Dennis M. Ritchie

Edsger W. Dijkstra

Douglas Engelbart

Doctor of Philosophy

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Isaac L. Auerbach

Entitydist 0.19

Thomas E. Anderson

Entitydist 0.20

Raymond F. Boyce

Entitydist 0.24

Lawrence Roberts

Entitydist 0.25

Gerald Weinberg

Entitydist 0.26

Scott E. Fahlman

Entitydist 0.26

Entitydist 0.29

Entitydist 0.29

William Henry Emerson

Entitydist 0.31

Jean-Raymond Abrial

Entitydist 0.31

Entitydist 0.32

Edward S. Davidson

Entitydist 0.34

What links here148 pages

Robert W. Floyd

Michael O. Rabin

Richard E. Stearns

Robert M. Solovay

Fernando J. Corbató

Robert Metcalfe

Edward Feigenbaum

Dennis M. Ritchie

Edsger W. Dijkstra