---

---

Gabor Horvath is a software engineer and a researcher in the field of static analysis. He has been contributing to various research projects on program analysis since 2012, and he obtained his Ph.D. degree on this topic from Eotvos Lorand University in 2020. He has extensive experience in teaching C++ and compiler construction courses to undergraduate students at the same university. He is also a co-owner of the Clang Static Analyzer, a popular open-source tool for finding bugs in C, C++, and Objective-C programs. He has been mentoring students in the LLVM project as part of the Google Summer of Code program, and he has also interned for leading tech companies such as Apple, Microsoft and Google.