Programming Language and Software Engineering Research
Department of Computer Science
University of California, Davis
One Shields Avenue
Davis, CA 95616-8562
Phone: (530) 752-7004

Fax: (530) 752-4767

Research in programming languages and software engineering at UC Davis encompasses many aspects of software systems: software tools, source code analysis,  mobile computing,  distributed systems,  formal verification, language design and implementation,  and concurrent programming.