- Start Date:
July 14, 2025
- Event Start Time:
12:00 PM
- Event End Time:
1:00 PM
- Organizers:
Lazaros Gallos
- Seminar Series:
REU Seminar
- Presenter(s):
Maria Apostolaki - Princeton University
- Event Location:
DIMACS Seminar room
- Abstract:
As computer networks support increasingly advanced applications and grow faster and more complex, managing them demands automated solutions that surpass human capability. While Machine Learning (ML) offers promise, its fragility, lack of guarantees, and susceptibility to attacks make it unreliable for high-stakes network management. Conversely, formal methods provide strong guarantees but struggle with scalability and require complete models.
This talk explores how blending ML with formal methods can improve network management. By combining learning-based adaptability with logical reasoning, we can develop solutions that are scalable, adaptable and verifiable, paving the way for networks that are not just automated—but truly trustworthy.
