Ho Young Jhoo (Preferred)
Ho Young Jhoo
PhD student, Seoul National University
- Joined March 2021
Names
Emails
****@sf.snu.ac.kr (Confirmed)
, ****@gmail.com
, ****@snu.ac.kr (Confirmed)
Personal Links
Career & Education History
PhD student
Seoul National University (snu.ac.kr)
2022 – Present
MS student
Seoul National University (snu.ac.kr)
2019 – 2022
Researcher
Furiosa AI (furiosa.ai)
2019 – 2019
Undergrad student
Seoul National University (snu.ac.kr)
2013 – 2019
Advisors, Relations & Conflicts
Social
Hanjoo Kim
2021 – Present
Coauthor
Eunhyeok Park
2019 – Present
Expertise
Programming Languages
Present
Formal Verification
Present
Type Theory
Present
Machine Learning Application
Present