Programming Languages and Software Technologies

PLaST research group

The PLaST research group at the Department of Informatics and Telecommunications of the University of Athens focuses on applied programming languages and software engineering:

  • Program analysis (static analysis, test generation, invariant inference, symbolic execution)
  • Language mechanisms for abstraction (declarative languages, program generation, DSLs, modules and components, generics, extensible languages, multi-paradigm programming)
  • Languages and tools for systems (programming models for concurrency, language support for distributed computing, memory management and program locality)

Head: Yannis Smaragdakis


Some Recent Publications

Team Members