Yannis Smaragdakis
Yannis Smaragdakis
Born (1972-03-31) 31 March 1972 (age 52)
Athens, Greece
NationalityGreek-American
Alma materUniversity of Crete, B.S., 1993
University of Texas at Austin, M.S., 1995, PhD, 1999
Scientific career
FieldsComputer Science
Applied Programming Languages
Software Engineering
InstitutionsUniversity of Athens (2010–present)
University of Massachusetts Amherst (2008–2010)
University of Oregon (2006-2008)
Georgia Institute of Technology (2000-2006)
ThesisImplementing Large-Scale Object-Oriented Components (1999)
Doctoral advisorDon Batory
Websitehttps://yanniss.github.io/

Yannis Smaragdakis (Greek: Γιάννης Σμαραγδάκης; born 31 March 1972) is a Greek-American software engineer, computer programmer, and researcher.[1] He is a professor in the Department of Informatics and Telecommunications at the University of Athens.[2] 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”[3]) and the Doop framework.

Work

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).

Awards and honors

Smaragdakis has been the recipient of the following awards and honors:

References

  1. ^ "Smaragdakis, Yannis". worldcat.org. Retrieved 2021-03-09.
  2. ^ "Yannis Smaragdakis". Google Scholar. Retrieved 2021-03-10.
  3. ^ Pointer Analysis (Foundations and Trends in Programming Languages). Now Publishers Inc. April 30, 2015. ISBN 978-1680830200.
  4. ^ "RESEARCH HIGHLIGHTS MadMax: Analyzing the Out-of-Gas World of Smart Contracts". Communications of the ACM. ACM. Retrieved 2021-03-09.
  5. ^ "SPLASH Conference 2019".
  6. ^ Grech, Neville; Kong, Michael; Jurisevic, Anton; Brent, Lexi; Scholz, Bernhard; Smaragdakis, Yannis (October 2018). "MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts". Proceedings of the ACM on Programming Languages. 2. ACM: 1–27. doi:10.1145/3276486. S2CID 51920261.
  7. ^ "Defensive Points-To Analysis: Effective Soundness via Laziness" (PDF). Retrieved 2021-03-10.
  8. ^ "Automating Ad Hoc Data Representation Transformations" (PDF). Retrieved 2021-03-09.

External links

Authority control databases: Academics
Categories