SPLASH 2023 (series) / Jonas Jensen
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
SPLASH 2023-profile
View general profile
View general profile