I'm a PhD Candidate at the Chair of AI Methodologies at RWTH Aachen University. My research focus is AutoAI for NP-Complete problems, with focus on nueral network verificatio.
Updates
11/06/2024: Our paper "Revisiting SATZilla Features in 2024" got accepted to SAT!.
01/12/2023: I started my PhD at AIM.
25/09/2023: I successfully defended my master's thesis on Automated Algorithm Selection of SAT Solvers Using Graph Neural Networks.
23/10/2022: My first paper got accepted to the ICBINB workshop @ NeurIPS!