Stefan Badelt
Postdoctoral Researcher at Universität Wien
Vienna, Austria
Summary
👤
SeniorStefan Badelt is a postdoctoral researcher and algorithm developer based in Vienna with 17 years of experience designing open-source bioinformatics and molecular programming software. He builds tools that bridge theory and practice—examples include DrTransformer and DrForna for cotranscriptional RNA folding, and Nuskell and Peppercorn for compiling and enumerating DNA strand-displacement systems. His work blends rigorous algorithm design with interactive visualization and verification (crnverifier), enabling reproducible modeling of complex biochemical systems. Having held research positions at Universität Wien and Caltech, he translates academic insight into robust, publicly available software on GitHub. Less obvious is his focus on end-to-end toolchains: from formal language compilation to runtime reaction enumeration and visualization, making laboratory-relevant models accessible to researchers and engineers.
16 years of coding experience
4 years of employment as a software developer
Github Skills (29)
reaction10
bioinformatics10
enumeration9
simulate9
conda9
rna-seq9
genomics8
bioconda8
python8
science8
pure-python8
package-management8
algebra7
simulation7
computer-algebra7
Programming languages (4)
Github contributions (5)
DNA-and-Natural-Algorithms-Group/nuskell
May 2016 - Jan 2021
Nucleic acid strand displacement compiler
Contributions:3 releases, 224 commits, 4 PRs in 4 years 8 months
compilerstranddisplacement
DNA-and-Natural-Algorithms-Group/peppercornenumerator
Jan 2017 - Jan 2021
domain-level nucleic acid reaction enumeration
Contributions:9 releases, 166 commits, 13 PRs in 4 years
domainenumerationreaction
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.