Zhengying Liu

Huawei Technologies Ltd.

  • Joined January 2022

Names

Zhengying Liu (Preferred)

Emails

****@inria.fr (Confirmed)
,
****@huawei.com (Confirmed)

Personal Links

Education & Career History

Researcher
Huawei Technologies Ltd. (huawei.com)
2021 – Present
 
PhD student
Université Paris Sud (Paris XI) (u-psud.fr)
2017 – 2021
 

Advisors, Relations & Conflicts

PhD Advisor
2017 – 2021
 

Expertise

automated theorem proving
2021 – Present
 
neuro-symbolic reasoning
2021 – Present
 
AutoML
2017 – 2021