Joonwon Choi

Registered user since Tue 19 Jan 2016

Name: Joonwon Choi

Affiliation: Massachusetts Institute of Technology, USA

Personal website:

Research interests: Formal Methods, Proof Assistants, Hardware Verification


DeepSpec 2019Presenter of Modular Correctness Proofs at the Hardware-Software Interface within the DeepSpec 2019-track
Show activities from other conferences

PLDI 2019-profile
View general profile