Computer and Information Science at University of Pennsylvania
Affiliation: GRASP Lab
Research Area: Testing and Verification, Embedded and Hybrid Systems, Robotics, Planning as Model Checking

Written Preliminary Examination I: CIS500 Software Foundations, CIS501 Computer Architecture, CIS502 Algorithms, CIS505 Software Systems, CIS511 Theory of Computation
Written Preliminary Examination II: An introduction to Multi-Valued Model Checking

Advisor: George J. Pappas (UPenn) GRASP Lab  

Thesis committee: Rajeev Alur (Chair), Edmund Clarke (External), Insup Lee, Oleg Sokolsky
 

Computer and Information Science at University of Pennsylvania
Affiliation: GRASP Lab
Research Area: Unmanned Aerial Vehicles (UAV), Robotics, Model Checking, Control and Hybrid Systems

Advisor: George J. Pappas (UPenn) GRASP Lab
 

Mechanical Engineering at National Technical University of Athens
Major in: Design & Control
Diploma thesis: "Ant Colony Optimization: Applications to discrete and continuous problems." (in Greek).
Research Area: Optimization algorithms inspired by nature, Inverse design engineering, Thermal turbomachines.

Advisor: K. Giannakoglou (NTUA) Lab of Thermal Turbomachines