Steffan Sølvsten

Registered user since Fri 31 Mar 2023

Name:Steffan Sølvsten

Technophobic computer scientist, climber, dancer, psychology and philosophy interested and board game playing hippie. My many working hours are spent on PhD research at Aarhus University in the fields of verification, algorithms, complexity theory, and logic and semantics.

Affiliation:Aarhus University
Research interests:Formal Methods, Algorithmic Engineering


Show activities from other conferences

NASA Formal Methods-profile
View general profile