Full Name
Benjamin Mikek
Job Title
Ph.D. Candidate
Company/Affiliation
Georgia Institute of Technology
Speaker Bio
Benjamin (Ben) Mikek is a Ph.D. candidate in the School of Computer Science at Georgia Tech, advised by Qirun Zhang. Ben’s research interests lie at the intersection of compilers, formal methods, and LLM-based program generation: his work develops methods to ensure that programs, whether written by humans or AI, are efficient, correct, and secure.
