Joonwon Choi
I'm an Applied Scientist at Amazon Web Services (AWS), working on verifying the Neuron Compiler. Before that, I worked as a Formal Verification Tech Lead at Apple, working on verifying memory subsystems and fabric interconnects in Apple silicon. I completed a PhD in computer science at MIT CSAIL co-advised by Adam Chlipala and Arvind. During my PhD, I worked on formal verification of hardware using the Coq interactive theorem prover.
at alum dot mit dot edu || +1-339-225-5940
joonwoncEducation
Publication
Work Experience
Teaching Experience
Academic Services
Awards and Honors