Jonas Buhrkal Jensen

From PLSwiki

Jump to: navigation, search

I was a PhD student in the PLS group at the IT University of Copenhagen working on Separation Logic. My supervisors were Lars Birkedal and Peter Sestoft. I changed my middle name from Braband to Buhrkal in 2012.


  • Techniques for model construction in separation logic (pdf)
    • Jonas B. Jensen.
    • Thesis chapter draft, 2013.
  • Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq (pdf, slides)
  • Modular Verification of Linked Lists with Views via Separation Logic (pdf)
Personal tools