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

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