Registered user since Fri 11 May 2018
Name: Jonas Jensen
Bio: 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.
Personal website: https://jbj.github.io/research/
Research interests: Static analysis, C++, formal software verification
|PLDI 2018||Declarative Program Analysis with QL|
|Show activities from other conferences|
View general profile