Communication and Distributed Systems
RWTH Aachen University
Ahornstr. 55
52074 Aachen, Germany
E-Mail: julian.buening[[at]]comsys.rwth-aachen.de
Phone: +49 241 80-21418
Office: Building E3, Room 9015
Since August 2019, I am a researcher at the Chair of Communication and Distributed Systems at RWTH Aachen University. My research interests are dynamic program analysis, symbolic execution and concurrent programs.
2. | Computer Aided Verification (CAV 2020)
July
2020
|
1. | Computer Aided Verification (CAV 2018)
July
2018
|