Gao, S.

Committee Member — 2 thesises

• Sofronidis, Nikolaos Efstathiou — Topics in descriptive set theory related to equivalence relations, complex borel and analytic sets (1999, Dissertation (Ph.D.))
• Dathathri, Sumanth — Scalable Synthesis and Verification: Towards Reliable Autonomy (2020, Dissertation (Ph.D.))