Write a Blog >>
ISMM 2018
co-located with PLDI 2018

Registered user since Fri 11 May 2018

Name:Jonas Jensen

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


Show activities from other conferences

PLDI 2018-profile
View general profile