Algorithmic Applications and Logic Laboratory
Department of Mathematics
School of Applied Mathematical and Physical Sciences
National Technical University of Athens
Home
People
Projects
Teaching Activities
Contact Details
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
Dr. Evmorfia Argyriou
(
AARG
)
Dionysis Panagiotopoulos (
AARG
)
Panagiotis Patsilinakos (
AARG)
Charis Ntakolia (
OReG
)
Chrysanthi Raftopoulou (
AARG
)
Dr. Dimitris Stogiannis (
OReG
)