Shun Zhang

Research interests: Reinforcement learning; large language models; automated theorem proving; automatic code generation; value alignment.

Experience

Founding Member of Technical Staff, Asari AI (San Francisco, CA) Jun. 2024 - Present

Research Scientist, MIT-IBM Watson AI Lab
Postdoctoral Researcher, MIT-IBM Watson AI Lab
Postdoctoral Researcher, IBM-NJIT
Jun. 2022 - Jun. 2024
Oct. 2021 - Jun. 2022
Aug. 2020 - Oct. 2021

Graduate Research Assistant, University of Michigan (Ann Arbor, MI) Sep. 2015 - Apr. 2020

Software Development Engineer Intern, Amazon (Seattle, WA) Jun. - Aug. 2014

Software Development Engineer Intern, Semantic Designs (Austin, TX) Jun. - Aug. 2013

Education

Ph.D. in Computer Science and Engineering, University of Michigan Sep. 2015 - Apr. 2020

M.S. in Computer Science, University of Texas at Austin Aug. 2015

B.S. in Computer Science, University of Texas at Austin May 2014

Publications and Preprints

Academic Services

Conference Reviewer

IEEE ITSC 2014, AAAI 2019, AISTATS 2023-24, CVPR 2023, ICML 2023-24, NeurIPS 2023-24, ICLR 2024.

Skills

Research

Reinforcement learning, convex optimization, deep learning, large language models, active learning, planning under uncertainty.

Programming languages

Proficient in Python (NumPy, PyTorch). Experienced in Java, C++, C, Scheme, Matlab.

Miscellaneous