Visiting Researcher - Karl Palmskog

Karl Palmskog will be visiting COBRA from 10 to 11 December. He is a researcher in the Secure and Trustworthy Execution Platform group at KTH Royal Institute of Technology in Stockholm, Sweden, working on formal verification of system software. He was previously a postdoc at The University of Texas at Austin and University of Illinois at Urbana-Champaign. His research interests include proof engineering and reasoning about distributed systems based on consensus, such as blockchains, using proof assistants. He obtained his PhD from KTH in 2014. His recent work is listed on https://setoid.com Karl will give a talk at the weekly COBRA Seminar on Tuesday 10 December - Title and abstract and further details about the talk can be found here.