Registered user since Tue 19 Jan 2016

Name: Joonwon Choi

Affiliation: Massachusetts Institute of Technology, USA

Personal website: http://joonwon.net/c

Research interests: Formal Methods, Proof Assistants, Hardware Verification

ICFP 2017 Activities

• Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track in ICFP 2017
• Show activities from other conferences