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].