Alexandra Silva, professor of computer science in the Cornell Ann S. Bowers College of Computing and Information Science, was a keynote speaker at the European Joint Conferences on Theory and Practice of Software, April 6 in Munich, Germany.
Her talk, "The Frontiers of Active Learning in Network Verification," explored the limits of using automata learning in the context of network verification. In addition to giving an overview of recent work on the use of active automata learning to analyse QUIC (a network protocol that is bound to eventually replace TCP) she discussed current work on active learning for weighted and probabilistic automata, which is needed in order to analyse more expressive network behaviors, e.g. congestion and fault tolerance.