Ho Young Jhoo

Seoul National University

  • Joined March 2021

Names

Ho Young Jhoo (Preferred)

Emails

****@sf.snu.ac.kr (Confirmed)
,
****@gmail.com

Personal Links

Education & Career History

MS student
Seoul National University (snu.ac.kr)
2019 – Present
 
Researcher
Furiosa AI (furiosa.ai)
2019 – 2019
 
Undergrad student
Seoul National University (snu.ac.kr)
2013 – 2019
 

Advisors, Relations & Conflicts

PhD Advisor
Chung-kil Hur
2019 – Present
 

Expertise

Programming Languages
Present
 
Formal Verification
Present
 
Type Theory
Present
 
Machine Learning Application
Present