Smaragdakis Yannis

Yannis Smaragdakis serves as a Professor in the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens, where he maintains office A55 and can be contacted via phone (+30 210 7275311) or email.

His academic foundation includes:

• Ph.D. in Computer Sciences (December 1999, University of Texas at Austin; Advisor: Don S. Batory)
• M.Sc. in Computer Sciences (May 1995, University of Texas at Austin)
• B.Sc. in Computer Science (July 1993, University of Crete, Heraklion)

His research bridges theoretical and applied computer science with emphasis on:

• Abstraction mechanisms including domain-specific languages and metaprogramming
• Systems programming models for concurrency and distributed computing
• Memory management optimization and program locality
• Automated program analysis techniques like symbolic execution and pointer analysis

His work consistently targets practical implementations of language-based solutions for complex software engineering challenges, particularly in test generation and invariant inference.

No scientific awards were documented in the source material.

Details regarding student supervision and research grants remain unspecified in the provided text.