معرفی
Christoforos Hadjicostis is Professor of Electrical and Computer Engineering at the University of Cyprus. He previously served as Chair of the department from 2008-2010 and held positions at the University of Illinois at Urbana-Champaign. He holds S.B. degrees in Electrical Engineering, Computer Science, and Mathematics, an M.Eng. in Electrical Engineering and Computer Science (1995), and a Ph.D. in Electrical Engineering and Computer Science (1999) from MIT.
His research focuses on fault diagnosis and tolerance in distributed dynamic systems, error control coding, monitoring and control of discrete event systems, with applications in network security, anomaly detection, energy distribution, medical diagnosis, biosequencing, and genetic regulatory models.
His publications primarily explore formal methods for system verification, distributed algorithms for multi-agent coordination, and privacy-preserving mechanisms in discrete event systems. Recent work emphasizes detectability, observability, and opacity enforcement in networked and cyber-physical systems.
