From 2013 to 2015 I was a Post-Doctoral Research Associate at the School of Computing, University of Utah working with Prof. John Regehr. I hold a Dr.rer.nat. degree from the RWTH Aachen University, Germany.


My research focus is on software correctness and reliability in complex systems such as compilers, embedded/distributed systems, and mobile apps. In my work, I strive for practical software analysis techniques that employ formal methods (e.g. SAT/SMT solvers).

In Utah, I was involved in a compiler superoptimization project at the LLVM IR level. See souper for more details. We were also exploring different ways to fuzz Android OS and its applications.

Prior joining the SoC in Utah, I was leading the KleeNet project (symbolic execution of distributed systems) in Aachen.


Please find my publications on Google Scholar.

Professional Service (related to testing)


Email: rsas (at) cs.utah.edu