Software Systems Research at UCLA

The UCLA Computer Science Department has a diverse group of faculty and students working in the area of software systems. We have a broad array of ongoing research activities that span the entire spectrum of software systems:

• Rajive Bagrodia and the Mobile Systems Laboratory: mobile and wireless systems
• Rupak Majumdar and his group: formal verification and programming languages
• Todd Millstein and his group: programming languages, static type systems, and software development tools
• Jens Palsberg and the Compilers Laboratory: compilers, static analysis, and concurrent programming languages
• Peter Reiher and the Laboratory for Advanced System Research: system security, mobile computing, and operating systems
• Yuval Tamir and the Concurrent Systems Laboratory: parallel and distributed systems