Name:Stylianos Basagiannis

Bio:

Principal Research Engineer

Affiliation:United Technologies Research centre

Research interests:Cyber-Physical systems, Model-based design, Formal Methods, Cyber-Security, System safety and assurance