Sorin Lerner
0 sources
Sorin Lerner
Summary
Sorin Lerner is a human[1]. He worked as a computer scientist[2].
Key Facts
- Among Sorin Lerner's spouses was Alana Iglewicz[3].
- Sorin Lerner worked as a computer scientist[2].
- Sorin Lerner's education included a stint at University of Washington[4].
- Sorin Lerner's doctoral advisor was Craig Chambers[5].
- Sorin Lerner is recorded as male[6].
- Sorin Lerner's instance of is recorded as human[7].
- Sorin Lerner supervised Ross Tate as a doctoral student[8].
- Sorin Lerner supervised Zachary Tatlock as a doctoral student[9].
- Sorin Lerner earned the academic degree of doctorate[10].
- Sorin Lerner's Mathematics Genealogy Project ID is recorded as 66244[11].
- Sorin Lerner's family name is recorded as Lerner[12].
- Sorin Lerner's given name is recorded as Sorin[13].
- Sorin Lerner's academic thesis is recorded as Automatically Proving the Correctness of Program Analyses and Transformations[14].
- Sorin Lerner's MR Author ID is recorded as 749466[15].
- Sorin Lerner's on focus list of Wikimedia project is recorded as WikiProject PCC Wikidata Pilot/University of Washington[16].
Body
Education
Sorin Lerner was educated at University of Washington[4]. His doctoral advisor was Craig Chambers[5]. He earned the academic degree of doctorate[10].
Career and Affiliations
Sorin Lerner worked as a computer scientist[2]. Doctoral students include Ross Tate[8], a computer scientist[17] and Zachary Tatlock[9], a computer scientist[18].
Personal Life
Among Sorin Lerner's spouses was Alana Iglewicz[3].
Why It Matters
Sorin Lerner's notable doctoral advisees include Ross Tate[19], a computer scientist[20] and Zachary Tatlock[21], a computer scientist[22].
FAQs
Who was Sorin Lerner married to?
Sorin Lerner's spouses include Alana Iglewicz[3].
What did Sorin Lerner do for work?
Sorin Lerner worked as computer scientist[2].
Where did Sorin Lerner go to school?
Sorin Lerner was educated at University of Washington[4].