Jump to content

User:Soelvsten

From Wikipedia, the free encyclopedia

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