Lab Director

Prof. Antonios Symvonis

Department of Mathematics
School of Applied Mathematics and Physical Sciences
National Technical University of Athens

Research Group Coordinators

Prof. Antonios Symvonis

Algorithmic Applications Research Group (AARG)

Dr. Petros Stefaneas

Formal Specification and Verification Group (FSVG)

Assist. Prof. Ioannis Coletsos

Operational Research Group (OReG)

Group Members

Chris Litsas ( AARG)

Chrysanthi Raftopoulou ( AARG)