Junyoung Jang or “Clare”, if you find that’s easier to pronounce! Main Interests Type Safe Languages Metaprogramming Interoperability Verified Implementation and other Formal Methods