Yannisa Smaragdakisa
Yannisa Smaragdakisa | |
|---|---|
 | |
| Urodzić się |
31 marca 1972 |
| Narodowość | Grecko - Amerykański |
| Alma Mater |
University of Crete , BS, 1993 University of Texas at Austin , MS, 1995, PhD, 1999 |
| Kariera naukowa | |
| Pola |
Informatyka Stosowane języki programowania Inżynieria oprogramowania |
| Instytucje |
University of Athens (2010-obecnie) University of Massachusetts Amherst (2008-2010) University of Oregon (2006-2008) Georgia Institute of Technology (2000-2006) |
| Praca dyplomowa | Wdrażanie komponentów zorientowanych obiektowo na dużą skalę (1999) |
| Doradca doktorski | Don Batorego |
| Strona internetowa | https://yanniss.github.io/ |
Yannis Smaragdakis ( grecki : Γιάννης Σμαραγδάκης ; urodzony 31 marca 1972) to grecko-amerykański inżynier oprogramowania , programista komputerowy i badacz. Jest profesorem na Wydziale Informatyki i Telekomunikacji Uniwersytetu Ateńskiego . Jest autorem ponad 130 artykułów naukowych na różne tematy, w tym analizę programów , języki deklaratywne, generatory programów, projektowanie języków i współbieżność . Najbardziej znany jest z pracy w generowaniu programów i analizie programów (w tym monografia „Analiza wskaźników”) oraz framework Doop.
Praca
Smaragdakis uzyskał tytuł licencjata z informatyki na Uniwersytecie Kreteńskim (1993) oraz tytuł magistra i doktora. obronił doktorat z informatyki na University of Texas w Austin (1995, 1999), gdzie studiował pod kierunkiem Dona Batorego . Pracował jako profesor nadzwyczajny na University of Massachusetts Amherst i University of Oregon oraz jako adiunkt w Georgia Institute of Technology . Od 2010 roku pracuje jako profesor na Wydziale Informatyki Uniwersytetu Ateńskiego . Smaragdakis jest najbardziej znany z pracy w zakresie generowania i analizy programów, w tym analizy inteligentnych kontraktów Ethereum . Jest współautorem wraz z George'em Balatsourasem książki Analiza wskaźników (Podstawy i trendy w językach programowania). W 2021 roku Smaragdakis nawiązał współpracę z inżynierem bezpieczeństwa Neville'em Grechem, aby założyć Dedaub Ltd, firmę komputerową specjalizującą się w bezpieczeństwie i audytach inteligentnych kontraktów i zdecentralizowanych finansów (DeFi).
Nagrody i wyróżnienia
Smaragdakis był laureatem następujących nagród i wyróżnień:
- Komunikaty z 2020 r. dotyczące najważniejszego wydarzenia badawczego ACM dotyczącego „MadMax: Analiza świata inteligentnych kontraktów bez gazu”
- Przewodniczący generalny konferencji SPLASH'19 ( Systemy, programowanie, języki i aplikacje: oprogramowanie dla ludzkości )
- Nagroda Distinguished Paper na OOPSLA '18 i ACM SIGPLAN Research Highlight za „MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts”
- Nagroda Distinguished Paper na Europejskiej Konferencji Programowania Obiektowego : ECOOP'18 za „Defensive Points-To Analysis: Effective Soundness via Laziness”
- Członek Komitetu Wykonawczego ACM SIGPLAN , 2015-2018
- Przewodniczący Komitetu Programowego Konferencji OOPSLA '16
- Nagroda Distinguished Artifact na OOPSLA '15 za „Automatyzację transformacji reprezentacji danych ad hoc”
- Europejskiej Rady ds. Badań Naukowych w 2012 r
- Nagroda za najlepszy artykuł na (Międzynarodowym Sympozjum Testowania i Analizy Oprogramowania ACM SIGSOFT) ISSTA'12 za „Residual Investigation: Predictive and Precise Bug Detection”
- Nagroda Best Paper Award na (międzynarodowej konferencji IEEE/ACM poświęconej automatyzacji inżynierii oprogramowania) ASE'07 za „Scalable Automatic Test Data Generation from Modeling Diagrams”
- Nagroda za najlepszy artykuł na (Międzynarodowym Sympozjum Testowania i Analizy Oprogramowania ACM SIGSOFT) ISSTA'06 za „DSD-Crasher: A Hybrid Analysis Tool for Bug Finding”
- Nagroda za najlepszy artykuł na (Międzynarodowej Konferencji ACM na temat programowania generatywnego: koncepcje i doświadczenia) GPCE'04 za „Generowanie programów AspectJ za pomocą Meta-AspectJ”
- Nagroda KARIERY Narodowej Fundacji Nauki , 2001
- Wybitna nagroda papierowa na targach USENIX '99 za „Sprawę skompresowanego buforowania w systemach pamięci wirtualnej”.
Linki zewnętrzne
- https://yanniss.github.io/ Strona wydziału na Uniwersytecie Ateńskim