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. Crete / Greece
Employment:
Associate Professor, Department of Informatics and Telecommunications, University of Athens, 2010-present.
Associate Professor, Department of Computer Science, University of Massachusetts, Amherst, 2008-2010.
Associate Professor, Department of Computer and Information Science, University of Oregon, 2006-2008.
Assistant Professor, College of Computing, Georgia Institute of Technology, 2000-2006.
Interests:
Applied Programming Languages and Software Engineering.
Language mechanisms for abstraction (program generators, domain-specific languages, modules and components, extensible languages, metaprogramming, multi-paradigm programming).
Languages and tools for systems (programming models for concurrency, language support for distributed computing, memory management and program locality).
Program analysis and testing (automatic test generation, invariant inference, symbolic execution, pointer analysis).