setoid.com - Karl Palmskog

home > domains > setoid.com

Description: Karl Palmskog is a computer science teacher and researcher primarily working on topics related to program verification and proof engineering.

Example domain paragraphs

α About Me

I am a teacher and researcher at KTH Royal Institute of Technology in the Theoretical Computer Science division and the STEP research group . I do research primarily on topics related to program verification and proof engineering .

I was previously a postdoc at The University of Texas at Austin and University of Illinois at Urbana-Champaign . I obtained my Ph.D. in Computer Science in 2014 from KTH, advised by Mads Dam . Earlier, in 2007, I received my M.Sc. from KTH in Computer Science and Engineering.

Links to setoid.com (3)

• uwplse.org UW PLSE
• proofengineering.org Proof Engineering
• uwplse.github.io UW PLSE