Suggestions
Yannis Smaragdakis
Yannis Smaragdakis is a prominent computer scientist and professor at the University of Athens. He holds a Ph.D. in Computer Sciences from the University of Texas at Austin, which he completed in December 1999.1 His academic career includes positions at several prestigious institutions:
Career Highlights
- Professor at the Department of Informatics and Telecommunications, University of Athens (September 2016-present)1
- Associate Professor at the same department (September 2010-September 2016)1
- Previously held faculty positions at the University of Massachusetts, Amherst, University of Oregon, and Georgia Institute of Technology1
Research and Achievements
Smaragdakis is a prolific researcher in the field of programming languages and software engineering. He has authored over 130 research articles3 and has been cited over 10,000 times according to Google Scholar.4 Some of his notable works include:
- Research on program analysis and Datalog-based analyses1
- Contributions to object-oriented programming and generics in Java1
- Work on Ethereum smart contracts and blockchain technology1
Current Status
As of January 2025, Smaragdakis is on leave from the University of Athens to work at Dedaub from 2022 to 2024.2 He is actively involved in research and re
Highlights
Looking for 2 postdoctoral associates, for research in program analysis, or more generally programming languages (including topics such as program synthesis, program comprehension, via both formal and statistical techniques, and possibly even applied language design).
The work will be at the University of Athens. The salary affords a very comfortable living standard and Athens is a vibrant city, with its fair share of problems, but more than its share of charm. Remote work may be an option but not for the first year and you should not count on it.
Working with me means: you need to be hands-on (i.e., like to hack), analytical, with a healthy respect (and healthy disdain) of formalism.
The positions are long-term, i.e., can be extended for a significant period of time (up to 5 years or so), although the initial appointment will be shorter.
If interested in finding out more, please contact me at [email protected] .
[All: Feel free to repost.]
