Sicun Gao

Summary

Sicun Gao is a human^[1]. He worked as a computer scientist^[2].

Key Facts

• Sicun Gao worked as a computer scientist^[2].
• Sicun Gao was employed by University of California, San Diego^[3].
• Sicun Gao's education included a stint at Carnegie Mellon University^[4].
• Sicun Gao's doctoral advisor was Edmund M. Clarke^[5].
• Sicun Gao's doctoral advisor was Jeremy Avigad^[6].
• Sicun Gao is recorded as male^[7].
• Sicun Gao's instance of is recorded as human^[8].
• Sicun Gao supervised Armaiti Ardeshiricham as a doctoral student^[9].
• Sicun Gao's Mathematics Genealogy Project ID is recorded as 173044^[10].
• Sicun Gao's Google Scholar author ID is recorded as UmyrEtcAAAAJ^[11].
• Sicun Gao's GitHub account is recorded as scungao^[12].
• Sicun Gao's Google Knowledge Graph ID is recorded as /g/11qnrnkt7f^[13].
• Sicun Gao's MR Author ID is recorded as 926751^[14].

Body

Education

Sicun Gao was educated at Carnegie Mellon University^[4]. Doctoral advisors include Edmund M. Clarke^[5], a computer scientist^[15], 1945–2020^[16], of United States^[17], awarded the Turing Award^[18], specialised in informatics^[19] and Jeremy Avigad^[6], a philosopher^[20], b. 1968^[21], of United States^[22], specialised in computer science^[23].

Career and Affiliations

Sicun Gao's professions included computer scientist^[2]. He was employed by University of California, San Diego^[3]. He supervised Armaiti Ardeshiricham as a doctoral student^[9].

Why It Matters

Sicun Gao's notable doctoral advisees include Armaiti Ardeshiricham^[24], a computer scientist^[25].

FAQs

What did Sicun Gao do for work?

Sicun Gao worked as computer scientist^[2].

Where did Sicun Gao go to school?

Sicun Gao was educated at Carnegie Mellon University^[4].