PostDoc @ TU Darmstadt,
formal program verification (esp. low-level concurrent C), separation logic, completeness thresholds, liveness
-
KU Leuven
- reito.eu
Highlights
- Pro
Block or Report
Block or report tobireinhard
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Sophie Bosio
SophieBosio
Software engineer at Ardoq and Emacs enthusiast. Haskell & Clojure λ
Ardoq Oslo, Norway
Joachim Tilsted Kristensen
jtkristensen
I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.
The University in Oslo. 3410 Sylling, Norway.