Konstantin Weitz

Summary

Konstantin Weitz is a human^[1]. They worked as a computer scientist^[2].

Key Facts

• Konstantin Weitz worked as a computer scientist^[2].
• Konstantin Weitz was educated at University of Washington^[3].
• Konstantin Weitz's doctoral advisor was Michael D. Ernst^[4].
• Konstantin Weitz's doctoral advisor was Zachary Tatlock^[5].
• Konstantin Weitz's instance of is recorded as human^[6].
• Konstantin Weitz earned the academic degree of doctorate^[7].
• Konstantin Weitz's family name is recorded as Weitz^[8].
• Konstantin Weitz's academic thesis is recorded as Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers^[9].
• Konstantin Weitz studied under Michael D. Ernst^[10].
• Konstantin Weitz studied under Zachary Tatlock^[11].
• Konstantin Weitz's on focus list of Wikimedia project is recorded as WikiProject PCC Wikidata Pilot/University of Washington^[12].

Body

Education

Konstantin Weitz's education included a stint at University of Washington^[3]. Doctoral advisors include Michael D. Ernst^[4], a computer scientist^[13], awarded the ACM Fellow^[14] and Zachary Tatlock^[5], a computer scientist^[15]. They earned the academic degree of doctorate^[7]. Studied under Michael D. Ernst^[10], a computer scientist^[16], awarded the ACM Fellow^[17] and Zachary Tatlock^[11], a computer scientist^[18].

Career and Affiliations

Konstantin Weitz worked as a computer scientist^[2].

FAQs

What did Konstantin Weitz do for work?

Konstantin Weitz worked as computer scientist^[2].

Where did Konstantin Weitz go to school?

Konstantin Weitz was educated at University of Washington^[3].