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.

Affiliation: Semmle

Personal website: https://jbj.github.io/research/

Research interests: Static analysis, C++, formal software verification

Contributions

PLDI 2018Presenter of Declarative Program Analysis with QL within the PLDI Tutorials-track
Show activities from other conferences

PLDI 2018-profile
View general profile