conf.researchr.org / Jonas Jensen
Registered user since Fri 11 May 2018
I work for Semmle, leading the work on C/C++ analysis. I got my PhD at the IT University of Copenhagen, working on separation logic.
Research interests:Static analysis, C++, formal software verification
|PLDI 2018||Presenter of Declarative Program Analysis with QL within the PLDI Tutorials-track|