Search Bowers

All Results (742)

Explicit Lossless Vertex Expanders
Page
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
A color graphic showing a photo of a man and a woman.
Game Design Initiative at Cornell
Page
National Academy of Medicine - Estrin
Page
boyd, Vashistha, and Wang named to 2026 cohort of Non-Resident Fellows Program of Center for Democracy and Technology
  • Feb 16, 2026
News + Stories
Low-Depth Arithmetic Circuits for Multivariate Resultants
Page