Badges
Certifications
b_bentzen has not earned any certificates yet.
Work Experience
Software Engineer
Carnegie Mellon University• January 2019 - Present
Postdoctoral Fellow at Carnegie Mellon University, working with Jeremy Avigad on a project in constructive methods and formal verification, funded by a grant from the US Air Force Office of Scientific Research.
Education
Sun Yat-sen University
Computer Science & Engineering, PhD• August 2015 - July 2018
Graduate student in the Institute of Logic and Cognition at Sun Yat-sen University.