A passionate researcher working on machine learning and safe autonomy. Consistent track record of publications at top-tier venues including NeurIPS, ICML, ICLR, AAAI, EMNLP, NAACL, CAV, TCAD, etc.
Areas of Expertise: AI Safety, Formal Methods, Reinforcement Learning
Contact: zwc662@gmail.com