Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q102243271)
Watch
English
Sorin Lerner
Ph.D. University of Washington 2006
In more languages
default values for all languages
No label defined
No description defined
edit
Statements
instance of
human
0 references
sex or gender
male
0 references
given name
Sorin
0 references
family name
Lerner
0 references
spouse
Alana Iglewicz
1 reference
reference URL
https://www.wbfuneralhome.com/obituary/6001338
retrieved
16 March 2024
occupation
computer scientist
1 reference
stated in
WorldCat
retrieved
31 August 2022
educated at
University of Washington
point in time
2006
academic degree
doctorate
academic major
computer science
computer engineering
2 references
stated in
WorldCat
retrieved
31 August 2022
stated in
Mathematics Genealogy Project
academic degree
doctorate
conferred by
University of Washington
1 reference
stated in
WorldCat
retrieved
31 August 2022
academic thesis
Automatically Proving the Correctness of Program Analyses and Transformations
1 reference
stated in
WorldCat
retrieved
31 August 2022
doctoral advisor
Craig Chambers
1 reference
stated in
Mathematics Genealogy Project
doctoral student
Ross Tate
1 reference
stated in
Mathematics Genealogy Project
Zachary Tatlock
1 reference
stated in
Mathematics Genealogy Project
on focus list of Wikimedia project
WikiProject PCC Wikidata Pilot/University of Washington
1 reference
stated in
WorldCat
retrieved
31 August 2022
Identifiers
Mathematics Genealogy Project ID
66244
0 references
MR Author ID
749466
0 references
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit