Jae Choi

Ph.D. Student in Computer Science
Iowa State University

About

I am a Ph.D. student in Computer Science at Iowa State University advised by Drs. Andrew Miner and Gianfranco Ciardo. I study decision diagrams and related applications in a broader field of formal methods. Generally, I want to give assurance (pinky promise) that certain property of the system will holds or not with extreme confidence. One day I hope to claim computability and complextiy as I decided to pursue graduate study after taking Dr. Andrei Migunov's Theory of Computation at Drake University. The graduate version of this course, also named Theory of Computation taught by Andrei's advisor Dr. Jack Lutz at Iowa State, is also equally life changing. However, I do have to note that my knowledge in such topic is still at its infant, if I am being generous.

Google Scholar
Orcid
LinkedIn

I am currently in Ulsan, Korea, catching up with my family, friends, along with my kitty (meow).

Besides wrestling with computers, I also do enjoy wrestling people in baggy pajamas (Judo). I log my progress on training and random thoughts.

I like the simplicity and minimalness. Every human can benefit from the nomadic life style in this era (personal opinion - not a doctor). Therefore, I decided to use only basic html and https://latex.vercel.app/ to create this site. I can assure you it has nothing to do with my laziness ;)

Publication

  1. J. Choi and A. S. Miner, " Binary Decision Diagrams Unchained ," Proc. 26th Conf. Formal Methods in Computer-Aided Design (FMCAD 2026), p. 439, 2026.

Honors

  1. Teaching Exellence Award Spring 2025 link to certificate
    Iowa State University, Ames, Iowa

  2. Oustanding Senior in Computer Science Spring 2023
    Drake University, Des Moines, Iowa

Contact

Best way to reach me is via email, I respond emails faster than my texts :)
Email: jaehyeok AT iastate DOT edu
jaehyeokchoi11 AT gmail DOT com