Ioannis Protogeros

I am a second-year Ph.D. student, exploring how LLMs and agentic systems can help make network operations less painful. My goal is to reconcile the advantages of learning-based systems (that are maximally flexible, but lack guarantees) with those of formal methods (that provide strong guarantees, but are rigid); all towards extending the limits of network verification and synthesis.

I received my Diploma in Electrical and Computer Engineering from the National Technical University of Athens (NTUA) in 2024, my Diploma Thesis focusing on the optimization of distributed learning systems and federated learning.

Talks

Publications

Supervised Theses