Wai Ming Tai (Preferred)
Wai Ming Tai
Researcher, Huawei Technologies Ltd.
Joined
May 2021
Names
Emails
****@gmail.com (Confirmed)
****@chicagobooth.edu (Confirmed)
****@ntu.edu.sg (Confirmed)
****@huawei.com (Confirmed)
Personal Links
Career & Education History
Researcher
Huawei Technologies Ltd. (huawei.com)
2024 – Present
Postdoc
Nanyang Technological University (ntu.edu.sg)
2023 – 2024
Postdoc
University of Chicago (uchicago.edu)
2020 – 2023
PhD student
University of Utah (utah.edu)
2015 – 2020
Advisors, Relations & Conflicts
Expertise
automated theorem proving
2024 – Present
Publications
Co-Authors
- Aditya Bhaskara
- Annie Cherkaev
- Austen Jeremy Sugiarto
- Bryon Aragam
- Christopher Musco
- Claudia Beth Ong
- Dongcai Lu
- Haoxiong Liu
- Huan Cao
- Jasper C. H. Lee
- Jeff M. Phillips
- Jerry Li
- Jiacheng Sun
- Jianyuan Zhong
- Jing Xiong
- Ke Yi
- Ming Gao
- Pengyi Zhai
- Qiang Xu
- Rafael Medeiros Cabral
- Robert A. Vandermeulen
- Roozbeh Yousefzadeh
- SHEN XIN
- Tuan Manh Do
- Vivek Srikumar