Hi, I am Andy! I am a PhD student at Lund University in Lund, Sweden and University of Copenhagen in Copenhagen, Denmark.
I am a member of the Mathematical Insights into Algorithms for Optimization (MIAO) Group led by Jakob Nordström .
My interests are in combinatorial optimization with a focus on pseudo-Boolean optimization and certifying the correctness of combinatorial optimization solvers.