Karl Palmskog

Karl Palmskog is a computer science researcher, primarily working on topics related to program verification and proof engineering. He is interested in development of techniques and tools based on proof assistants and functional programming languages for construction of functionally correct and secure software systems. He obtained his PhD from KTH in Stockholm, Sweden, and was previously a postdoctoral researcher at University of Illinois at Urbana-Champaign and The University of Texas at Austin.