Yannis Smaragdakis
Professor · Programming Languages
National and Kapodistrian University of AthensGreece
About
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.
0Publications listed
Find Yannis Smaragdakis elsewhere
Related Searches
You Might Also Like
Bernhard ScholzNational and Kapodistrian University of Athens · Professor- SSmaragdakis YannisNational and Kapodistrian University of Athens · Professor
- BBernhard ScholzUniversity of Sydney · Professor
Elvira AlbertNational and Kapodistrian University of Athens · Professor- SSmaragdakis GiannisNational and Kapodistrian University of Athens · Professor
Kristopher MicinskiMax Planck Institute for Software Systems · Assistant Professor