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
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.