SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Jens Palsberg

Registered user since Fri 6 Mar 2015

Name:Jens Palsberg
Bio:

Jens Palsberg is a Professor and former Department Chair of Computer Science at University of California, Los Angeles (UCLA). His research interests span the areas of compilers, embedded systems, programming languages, software engineering, and information security. He is the chair of ACM SIGPLAN, a member of the editorial board of Information and Computation, and a former editor-in-chief of ACM Transactions of Programming Languages and Systems. He is also a former conference program chair of ACM Symposium on Principles of Programming Languages (POPL), Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), and the Static Analysis Symposium (SAS). In 2012 he received the ACM SIGPLAN Distinguished Service Award.

Jens Palsberg received a Ph.D. in Computer Science from University of Aarhus, Denmark in 1992. In 1992-1996 he was a visiting scientist at various institutions, including MIT. In 1996-2002 he was an Associate Professor and, in 2002-2003, Professor of Computer Science at Purdue University, after which he moved to UCLA. He has authored over 80 technical papers, co-authored the book Object-Oriented Type Systems, and co-authored the 2002 revision of Appel’s textbook on Modern Compiler Implementation in Java. He is the recipient of National Science Foundation CAREER and ITR awards, a Purdue University Faculty Scholar award, an IBM Faculty Award, and an Okawa Foundation research award. His research has also been supported by DARPA, Intel, and British Telecom. He has served as associate head of computer science at Purdue University, as the general chair of POPL and International Workshop on Model Checking of Software (SPIN), as the conference chair of the IEEE Symposium on Logic in Computer Science (LICS), and as the vice chair of ACM SIGBED, Special Interest Group on Embedded Systems.

Country:United States
Affiliation:University of California, Los Angeles

Contributions

Show activities from other conferences

SPLASH 2018-profile
View general profile