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

Dionysis Panagiotopoulos ( AARG)

Panagiotis Patsilinakos ( AARG)

Charis Ntakolia ( OReG)

Chrysanthi Raftopoulou ( AARG)

Dr. Dimitris Stogiannis ( OReG)