Get my own profile
Public access
View all11 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Yong-Jin LIUComputer Science and Technology, Tsinghua UniversityVerified email at tsinghua.edu.cn
Charlie C. L. WangProfessor and Chair of Smart Manufacturing, University of ManchesterVerified email at manchester.ac.uk
Chengkai DaiPhD, Delft University of TechnologyVerified email at tudelft.nl
Guoxin FangPostdoc Research Associate, University of ManchesterVerified email at manchester.ac.uk
Ying HeNanyang Technological UniversityVerified email at ntu.edu.sg
Ran YiAssistant Professor, Shanghai Jiao Tong UniversityVerified email at sjtu.edu.cn
Sylvain LefebvreINRIAVerified email at inria.fr
Jia PanComputer Science, The University of Hong KongVerified email at cs.hku.hk
Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
Jeffrey LiptonProfessor, University of WashingtonVerified email at uw.edu
Adriana SchulzUniversity of WashingtonVerified email at cs.washington.edu
Chandrakana NandiSenior Researcher, Certora Inc.Verified email at certora.com
Haisen ZhaoProfessor of Shandong UniversityVerified email at sdu.edu.cn
Jun WangProf. of Mechanical Engineering, Nanjing University of Aeronautics and AstronauticsVerified email at nuaa.edu.cn
Fandong MengWeChat AI, TencentVerified email at tencent.com
Jianhao YanWestlake UniversityVerified email at westlake.edu.cn