Steffan Sølvsten: PhD student of Computer Science, Aarhus University with focus on formal verification, logic, algorithms, games, and complexity theory.
