SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal

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
Research interests:Static analysis, C++, formal software verification

Contributions

Show activities from other conferences

SPLASH 2023-profile
View general profile