Registered user since Thu 8 Jun 2017
Name: Gábor Horváth
Bio: Compiler, static analysis enthusiast. Ph.D. Student. Apple, Microsoft, Google ex-intern.
Affiliation: Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
Personal website: https://www.linkedin.com/in/g%C3%A1bor-horv%C3%A1th-80632a77/
Research interests: Compilers, Static Analysis, Symbolic Execution