Aachen, North Rhine-Westphalia, Germany
Focus on optimisation for an ML compiler.
Working on an LLVM/MLIR-based compiler for ML models.
Research Assistant at LuFG i2, the Verification Research Group at RWTH. Focus on developing framework for automatic relative termination verification. Work on theory, writing/proofreading article and implementation in AProVE.
Developing Jarves, an RDM assistant.
Assistant for "Introduction to Artificial Intelligence" course at KBSG chair.