Sagiv Shmuel

Prof. Sagiv Shmuel is a Full Professor at Tel-Aviv University's Department of Computer Science. He has held various academic roles, including Associate Professor (2004–2005), Senior Lecturer (2000–2004), and visiting positions at institutions such as the University of Chicago and University of Copenhagen. His research focuses on software verification, shape analysis, smart contracts, and programming languages.

Education:

• Ph.D. in Computer Science, Technion (1986–1990)
• B.A. in Computer Science, Technion (1982–1985), cum laude

Research Interests: His work addresses challenges in static analysis, formal verification, and program analysis. Notable areas include invariant inference, smart contract security, and parametric shape analysis. These contributions have led to practical tools like Ivy and the foundation of Certora, a company specializing in smart contract verification.

Awards:

• ACM Fellow (2016)
• Friedrich Wilhelm Bessel Research Award (2002)
• Microsoft Outstanding Collaborator Award (2016)

Grants & Leadership:

• Principal Investigator (PI) of a Senior ERC Grant (1.57M Euros) for software composition verification
• Editor of Foundations and Trends in Programming Languages
• Chair of program committees for POPL, SAS, and other leading conferences

His research has been applied to real-world systems, such as improving the Java concurrent library and ensuring kernel extension security in Linux.