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