Eli Ben-Sasson is a Professor of Computer Science at Technion – Israel Institute of Technology. His main interest is theoretical computer science (TCS), the study of the mathematical foundations of computation, and within TCS his focus is on computational complexity. His research has focused on formal proofs and their interaction with computation, including efficient probabilistically checkable proofs (PCPs) and their applications to verifying in a privacy-preserving manner the integrity of computations.