Yannis Smaragdakis

Smaragdakis earned a B.S. in Computer Science from the University of Crete (1993) and an M.S and Ph.D. in Computer Science from the University of Texas at Austin (1995, 1999), where he studied under Don Batory. He has worked as an associate professor at the University of Massachusetts Amherst and the University of Oregon, and as an assistant professor at the Georgia Institute of Technology. Since 2010, he has worked as a professor in the Department of Informatics at the University of Athens. Smaragdakis is best known for work in program generation and program analysis, including Ethereum smart contract analysis. He is the co-author with George Balatsouras of the book Pointer Analysis (Foundations and Trends in Programming Languages). In 2021, Smaragdakis partnered with security engineer Neville Grech to found Dedaub Ltd, a computer company specializing in security and audits of smart contracts and decentralized finance (DeFi).

Yannis Smaragdakis (Greek: Γιάννης Σμαραγδάκης; born 31 March 1972) is a Greek-American software engineer, computer programmer, and researcher. He is a professor in the Department of Informatics and Telecommunications at the University of Athens. He is the author of more than 130 research articles on a variety of topics, including program analysis, declarative languages, program generators, language design, and concurrency. He is best known for work in program generation and program analysis (including the monograph “Pointer Analysis”) and the Doop framework.