Caleb Stanford
Assistant ProfessorUniversity of California, Davis · Computer Science
programming languages · formal methods
- stream processing
- verification
- formal methods
Search and navigate
University of California, Davis · Computer Science
programming languages · formal methods
University of Maryland, College Park · Computer Science
ai and robotics · bioinformatics and computational biology · machine learning and data science
University of Massachusetts Amherst · Computer Science
theoretical computer science
University of Maryland, College Park · Computer Science
bioinformatics and computational biology · systems · networking · and architecture · machine learning and data science
University of Calgary · Computer Science
networks · systems
University of Ottawa · Electrical Engineering and Computer Science
security
Dalhousie University · Computer Science
machine learning · data science
University of Houston · Department of Computer Science
algorithms · artificial intelligence
Rensselaer Polytechnic Institute · Computer Science
distributed computing · concurrent programming languages
Ohio State University · Computer Science and Engineering
systems security · malware analysis · intrusion detection · software security
Dalhousie University · Computer Science
software engineering
University of Utah · Computer Science (Kahlert School of Computing)
visual computing
University of Saskatchewan · Computer Science
software engineering
University of California, Santa Barbara · Computer Science
operating systems and distributed systems · programming systems
University of Ottawa · Electrical Engineering and Computer Science
machine learning
Concordia University · Computer Science and Software Engineering
machine learning
Western University · Computer Science
machine learning · data science
Rensselaer Polytechnic Institute · Computer Science
computer vision
McMaster University · Computing and Software
machine learning · natural language processing
University of Wisconsin–Madison · Department of Computer Sciences