Gabor started a Ph.D. in 2016. He is a contributor to research projects related to static analysis since 2012 and a co-owner of the Clang Static Analyzer. Currently, he is working improving the interoperability between Swift and C++ at Apple.