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.


  • Enabling Concise and Modular Specifications in Separation Logic (pdf)
    • Jonas B. Jensen (supervisors: Lars Birkedal and Peter Sestoft).
    • PhD thesis, IT University of Copenhagen, 2014
  • Techniques for model construction in separation logic (pdf)
    • Jonas B. Jensen.
    • Thesis chapter, 2014.
  • 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