Joonwon Choi as
a Formal Verification Engineer at Apple
an Amateur Pianist