Karl Palmskog

α About Me

I am a Research Fellow at The University of Texas at Austin, working in Milos Gligoric's group.

I was previously a Postdoctoral Research Associate and Visiting Scholar at the University of Illinois at Urbana-Champaign. I obtained my Ph.D. in Computer Science in 2014 from KTH Royal Institute of Technology in Stockholm, Sweden, advised by Mads Dam. Earlier, in 2007, I received my M.Sc. from KTH in Computer Science and Engineering.

See also my CV and GitHub profile.

β Research Interests

My interests span programming languages, formal methods, and software engineering. In particular, I am interested in how to construct large-scale distributed software systems with both formal and empirical evidence of correctness, and development of complementary proof engineering and testing techniques that make such construction possible.

I am an avid user of the Coq proof assistant for both proving and programming, usually complemented by a measure of OCaml.

γ Recent Publications

δ Current Projects

ε Past Projects

  • Model-based, Event Driven Scalable Programming for the Mobile Cloud (NSF)
  • Highly Adaptable and Trustworthy Software (EU FP7)
  • 4WARD Future Internet (EU FP7)

ϛ Contributions to Proof Engineering Software and Verified Software