I studied Computational Engineering and earned my PhD at TU Darmstadt’s Scientific Computing Group (Germany). I focused my academic research on HPC correctness topics, specifically targeting MPI through compiler-aided approaches using Clang and LLVM.