Sarek Høverstad Skotåm
sarsko
Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.
Amazon Web Services Seattle
Johannes Hostert
JoJoDeveloping
PhD Student @ ETH Zurich, since October 2023
ETH Zurich Zürich, Switzerland
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
https://ahrefs.com/ washington DC
Emanuele D'Osualdo
bordaigorl
I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz
University of Konstanz Konstanz, Germany
Zackary Ayoun
yrakcaz
Systems and low-level software engineer. Kernels, embedded, C/C++/Rust.
Ireland