Yannis Smaragdakis (en griego : Γιάννης Σμαραγδάκης ; nacido el 31 de marzo de 1972) es un ingeniero de software , programador informático e investigador greco-estadounidense . [1] Es profesor en el Departamento de Informática y Telecomunicaciones de la Universidad de Atenas . [2] Es autor de más de 130 artículos de investigación sobre una variedad de temas, incluido el análisis de programas , lenguajes declarativos, generadores de programas, diseño de lenguajes y concurrencia . Es mejor conocido por su trabajo en la generación de programas y el análisis de programas (incluida la monografía "Pointer Analysis" [3]) y el marco Doop.
Smaragdakis obtuvo una licenciatura en Ciencias de la Computación de la Universidad de Creta (1993) y una maestría y un doctorado. en Ciencias de la Computación de la Universidad de Texas en Austin (1995, 1999), donde estudió con Don Batory . Ha trabajado como profesor asociado en la Universidad de Massachusetts Amherst y la Universidad de Oregon , y como profesor asistente en el Instituto de Tecnología de Georgia . Desde 2010, ha trabajado como profesor en el Departamento de Informática de la Universidad de Atenas . Smaragdakis es mejor conocido por su trabajo en la generación y análisis de programas, incluido Ethereumanálisis de contratos inteligentes. Es coautor con George Balatsouras del libro Pointer Analysis (Foundations and Trends® en lenguajes de programación).