Short Bio

He is a postdoctoral research fellow in National University of Singapore in Singapore, working in Umang Mathur’s group.
Before that, he was in Helmut Seidl’s group at Technical University of Munich, from which he graduated with a Dr. rer. nat. (summa cum laude) in late Spring 2025. During his PhD, he was also a member of the DFG Research Training Group ConVeY.He is interested in Static and Dynamic Analysis and related topics. During his PhD, his work fell into the area of Sound Static Analysis by Abstract Interpretation. There, he and his collaborators proposed techniques for efficient abstract interpretation of multi-threaded programs, worked on increasing usability by making static analysis incremental, and designed novel analyses for sometimes overlooked features of the C programming language.He contributes to and has in the past co-maintained (with Simmo Saan and Karoliine Holter from University of Tartu) the static analysis framework Goblint for multi-threaded C programs, which serves as the testbed for many of their ideas.