Yannis Smaragdakis

Yannis Smaragdakis is a Professor at the Department of Informatics, University of Athens, with a 35%-time appointment and concurrent affiliation at Dedaub (a blockchain security company). His research spans programming languages, software engineering, static analysis, and distributed systems, with a current focus on Ethereum smart contract security and declarative program analysis.

• Notable contributions: Doop framework for Datalog-based program analysis, Gigahorse decompiler, Elipmoc for Ethereum contracts, and foundational work on points-to analysis
• Key research themes: Static analysis (soundness, precision, scalability), memory management algorithms (EELRU), declarative languages, and concurrency models

Recent work emphasizes security analysis of blockchain programs, earning distinctions like the SIGPLAN Research Highlight (2019) and Distinguished Paper Awards. He has advised numerous Ph.D. students and received funding from the ERC and HFRI.