Scholar
Steffan Christ Sølvsten
Google Scholar ID: ThoounwAAAAJ
Aarhus University
Citations & Impact
Citations
46
H-index
5
i10-index
1
Publications
10
Co-authors
3
list available
Publications
Resume (English only)
Academic Achievements
- Published multiple conference papers and preprints, including 'I/O-efficient Symbolic Model Checking', 'Random Access on Narrow Decision Diagrams in External Memory', etc.
Research Experience
- Involved in the Adiar project, a BDD library that uses Time-Forward Processing for I/O-efficient manipulation of BDDs; also worked on Wordrow, a reimplementation of the classic internet puzzle game Text Twist as a static React (PWA) webpage.
Education
- Currently working at the Department of Computer Science, Aarhus University. Specific details about degrees, schools, advisors are not provided.
Background
- Research interests include algorithms and data structures, I/O efficient algorithms and data structures, binary decision diagrams (BDD) and their applications in external memory.
Miscellany
- His personal website provides links to several projects and some slides, indicating a strong interest in algorithm theory and technical sharing.
