Full Name
Benjamin Mikek
Pronoun/s
He/Him/His
Job Title
PhD Student
Company/Affiliation
Georgia Institute of Technology
Speaker Bio
Benjamin Mikek is a third year Ph.D. student in Computer Science at Georgia Tech advised by Qirun Zhang. His research interests are broadly in the area of programming languages, with specific interest in static analysis and program verification techniques using LLVM and SMT solvers like Z3.
Website
GitHub URL
Speaking At
