PhD student of CS, Aarhus University with focus on formal verification, logic, algorithms, and complexity theory. Former Student Programmer for SCALGO, and former Software Developer at IT Minds doing consultant work for LEGO, and