Carlos Rivero, associate professor in the Department of Computer Science, received $212,983 from the National Science Foundation for his project titled "Collaborative Research: FMitF: Track III: A ...

Formal methods are a suite of mathematically grounded techniques that underpin the design, specification, and verification of programming languages and software systems. They involve the use of ...

Pursuing computer science (CS) was a no-brainer for Zach Wood-Doughty. A third-generation computer science professor following in his father and grandfather’s footsteps, he was hooked at a very early ...