Jaehyeok Choi
Position
- PhD Student
Jae Choi is a first year PhD student in Department of Computer Science. He is currently supervised under Dr. Ciardo and Dr. Miner. He has finished his undergraduate studies in Computer Science at Drake University. Besides his interest in research topic, he is also interested in computer science education.
Area of Expertise
- Model Checking and Verification Formal Methods
Education
- B.S., Computer Science, Drake University