Joined November 2017
Want to help work on #CogniCrypt? We are currently looking for a new full-time scientific staff member to drive forward its development. Please contact @profbodden for details. #joboffer #thesis #research #dissertation #HiringNow
7
5
SOAP 2020 will again be co-located with @PLDI this year. Do you have some new and exciting work related to program analysis? Consider submitting: pldi20.sigplan.org/home/SOAP… Deadline: 2020-03-23
8
2
10
Phasar retweeted
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ github.com/secure-software-e… thewhitespace.de/publication… @pd_schubert @benhermann @profbodden #LLVM @phasarframework @SecEngUPB TACAS 2019
2
13
1
48