Communication and Distributed Systems
RWTH Aachen University
52074 Aachen, Germany
Phone: +49 241 80-21420
Office: Building E3, Room 9015
I am currently employed as a researcher at the the Chair of Communication and Distributed Systems at RWTH Aachen University, where I research the testability of distributed systems. My specific focus is on the applicability of Symbolic Execution to event-driven systems of all kinds. My work here began in April 2015, shortly after receiving my M.Sc. in Computer Science in March 2015.
In my free time, I write a blog detailing adventures in programming and computer science.
Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada , page 221-232.
Publisher: ACM, New York, NY
Keywords: Automatic Memoization; Accelerating Parameter Studies; Impure Languages
Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS'12), Zhangjiajie, China , page 23--32.