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 was titled "The Frontiers of Active Learning in Network Verification."
News