In honor of Jens Palsberg’s 60th birthday, a workshop is being held to celebrate his distinguished career. A professor in the Computer Science Department, Palsberg has significantly shaped programming languages, compilers, and software verification.Within the ACM SIGPLAN and OOPSLA communities, he has served as ACM SIGPLAN chair and editor-in-chief of TOPLAS, as well as the program chair for major conferences like POPL and TACAS. This workshop features talks and papers reflecting the wide array of research areas he has influenced over his 30-year career.
Beyond his leadership roles, Palsberg’s research has left a lasting mark on programming language theory, type systems, and formal methods. His work has driven advancements in the design and verification of software systems, providing foundational insights into type-checking algorithms and compiler construction. His deep engagement with both theoretical and practical aspects of computer science has earned him prestigious accolades, including the ACM Distinguished Service Award, which recognized his commitment to the growth and development of the field.
Throughout his career, Palsberg has been a mentor to numerous students who have gone on to become leaders in academia and industry. This workshop not only highlights his technical contributions but also honors his extensive mentorship, which has shaped a generation of computer scientists. Colleagues, collaborators, and former students will come together to present a series of talks and papers in areas spanning formal methods, programming languages, and software analysis, all of which reflect Palsberg’s broad and deep influence.
For more information on the event, visit JensFest 2024.