Thanassis is VP of Engineering and co-founder of ForAllSecure. He is an expert in program analysis, testing, and software security with over a decade of operational and academic experience. Prior to co-founding ForAllSecure, he was a researcher at Carnegie Mellon University, working on developing the first Mayhem prototype. Thanassis holds both a Ph.D and Master’s degree from Carnegie Mellon University and a Master's and Bachelor’s degrees from the National Technical University of Athens, all in Electrical and Computer Engineering.