CV

General Information

Full Name Jaehyeok Choi
Date of Birth 2/11/2000
Languages English, Korean

Education

  • 2029(Expected)
    PhD Computer Science
    Iowa State University, Ames, Iowa
  • 2023
    B.S Computer Science
    Drake Univeristy, Des Moines, Iowa

Experience

  • Fall 2024
    Graduate Teaching Assisstant
    Iowa State Univeristy, Ames, Iowa
    • COMS 2300 Discrete Computational Structures
  • 2023 - 2024
    Software Developer
    QCI, West Des Moines, Iowa
    • Migrating AngularJS application to Angular
    • Description 2.
  • 2023
    I.T Consultant
    QCI, West Des Moines, Iowa
    • Assuring data integrity with AWS Kinesis
    • Maintaining project architecture with Terraform
    • Maintaining AWS Lambda based backend services
  • June 2022
    Software Developer Intern
    Farmers Mutual Hail, West Des Moines, Iowa
    • Maintaining Java Spring based web services

Honors and Awards

  • 2023
    • Student of the Year Department of the Computer Science

Academic Interests

  • Formal Methods
    • Model Checking
    • Theorem Proving
  • Computer Science Education
    • Increasing accessibility of education tools