Xuanxiang Huang
Postdoctoral Research Fellow at 新加坡南洋理工大学
Singapore, Singapore
Summary
👤
Senior🎓
Top SchoolXuanxiang Huang is a postdoctoral research fellow based in Singapore with eight years of experience at the intersection of automated reasoning and trustworthy AI. His work leverages SAT, SMT and QBF techniques, formal methods, and tractable circuits to analyze and improve the safety and verifiability of machine learning models. After a PhD in computer science from Université Paul Sabatier Toulouse III and research stints at ANITI and CNRS@CREATE, he now continues this line of work at Nanyang Technological University. He is notable for bringing deep automated-reasoning toolchains into practical ML assurance problems, translating theoretical solvers into methods that expose and mitigate real-world model vulnerabilities.
8 years of coding experience
工学学士, Computer Science, 工学学士, Computer Science at 广东财经大学Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Université Paul Sabatier Toulouse III工学硕士, Computer Science, 工学硕士, Computer Science at 暨南大学
Github Skills (1)
cudd8
Programming languages (2)
Github contributions (5)
XuanxiangHuang/BKFDD
Jan 2018 - Jan 2019
Contributions:372 pushes, 1 branch in 11 months
XuanxiangHuang/bkfdd-CUDD
Aug 2019 - Dec 2021
BKFDD package based on CUDD-3.0
Contributions:22 commits, 4 PRs, 28 pushes in 2 years 4 months
cuddpackage-based
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.