Jens Palsberg Jens Palsberg is Professor and Chair of Computer Science at UCLA, University of California, Los Angeles. His research interests span the areas of compilers, embedded systems, programming languages, software engineering, and information security. He is the editor-in-chief of ACM Transactions of Programming Languages and Systems, a member of the editorial board of Information and Computation, a former member of the editorial board of IEEE Transactions on Software Engineering, and a former conference program chair of POPL, TACAS, SAS, EMSOFT, MEMOCODE, PASTE, SREIS. In 2012 he received the ACM SIGPLAN Distinguished Service Award.

Current PhD Students

John bender John Bender is a fourth year PhD student. He previously worked in industry as an open source software developer on projects like vagrant and jquery. He works on compilers and verification techniques for concurrent algorithms executing on weak memory models.

Christian Kalhauge Christian Kalhauge is a second year PhD Student. His primary focus is dynamic and static analysis on concurrent programs. Currently he is the working on DARPA's MUSE project. He has a Masters of Science in Engineering from DTU in Denmark, with a focus on reliable software systems.

Graduated PhD Students

Matt Brown Matt Brown received his PhD in 2017, and is now at Intentionet. His PhD work on Typed Self-Applicable Meta-Programming used typed program representation techniques to ensure correctness properties of self-applicable meta-programs like self-interpreters. Other research interests include functional programming, type systems, concurrency and program verification.

Mahdi Eslamimehr Mahdi Eslamimehr was born in Tehran, Iran. He received his bachelor in computer engineering from Sharif University, and his master in computer science from Linkoping University. He received his PhD in 2014 from UCLA, and since then he has been conducting his research as postdoctoral scholar in the UCLA compiler group. His research interest lies in the intersection of software testing, compiler construction and programming languages.

Mohsen Lesani Mohsen Lesani has research experience with IBM Research, Oracle (Sun) Labs, HP Labs and EPFL and is currently an Associate Professor at University of California Riverside. His research focuses on the design, implementation, testing and verification of safety and security of concurrent and distributed systems.


Jonathan Lee, Fernando Pereira, Krishna Nandivada, Christian Grothoff, Ben Titzer

Former Graduate Students

Kevin Chang, Vidyut Samanta, Joseph Cox

Former Undergraduate Students

Lorenz Verzosa, Adam Harmetz

Past Visitors

Daniel Lee, Keith Mayoral, Ryan Leon