Registered user since Tue 30 Jan 2024
Name:Benjamin Mikek
Bio:
Benjamin Mikek is a Ph.D. student at Georgia Tech, advised by Qirun Zhang. His research interests include SMT solving, translation validation, and static analysis in general. He has also worked on integrating LLMs with compiler optimizations.
Country:United States
Affiliation:Georgia Institute of Technology
Personal website: https://mikekben.github.io/
GitHub: https://github.com/mikekben
Research interests:Programming Languages, Software Analysis
Contributions
Using general profile