Registered user since Fri 6 Mar 2015
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 chair of computer science at UCLA, 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.
View general profile