Caleb Stanford
Assistant ProfessorUniversity of California, Davis · Computer Science
programming languages · formal methods
- stream processing
- verification
- formal methods
Professors
/
page 1 / 1
3 professors
Luigi Logrippo
Professor EmeritusUniversity of Ottawa · Electrical Engineering and Computer Science
software engineering · security
- formal methods in security
- privacy and governance
- formal specification
- formal design
- validation
- verification
Neelam Soundarajan
Associate ProfessorOhio State University · Computer Science and Engineering
software engineering · formal methods · software verification · programming methodology
- software engineering
- formal methods
- verification
QS #1902026Website