Popular search terms
All Results (701)
Silva receives two NSF grants to enable broader use of formal verification in networking and software development
- Sep 25, 2025
The National Science Foundation (NSF) has awarded Alexandra Silva , professor of computer science in the Cornell Ann S. Bowers College of Computing and Information Science, two $900,000 grants for projects related to verification of networks and software that exploits concurrency and randomness. Generally, Silva's research focuses on semantics of programming...
News + Stories
