Very lucky to receive the ERC Consolidator this year! This is 5-year funding for groundbreaking research. If you are interested in our perspective on software security analysis at scale, stick around and read on. #ERC #ERCCoG #MPI_SP www.mpi-sp.org/71953/news_p...