Project Everest
mi.ki
mi-ki
Researcher in formal methods @kastel-security. (he/him)
Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany
CreepNT
Interested in both low and high-level computers stuff, especially ARM platforms.
Developping PS Vita/Ratchet & Clank-related things.
France
Brian Abbott
briancabbott
Software Engineer. I currently live in Bellevue, WA. My focuses are on Systems Programming, Mathematics and Deep Learning.
Bellevue, WA
Mahmoud Gharra
MakRude
If you're wondering if, you've reached the right Mahmoud Gharra. You probably did.
DB Systel
Karolin Varner
koraa
https://twitter.com/dakoraa
Rosenpass e.V. | Max Planck Institute for Security and Privacy | @formosa-crypto Europa, Saturn System, The Universe
Dirk Arnez
dirkarnez
Freelance Software Engineer | Composer | Mixer | Multi-instrumentalist
Freelance Hong Kong
Isitha Subasinghe
isubasinghe
Programmer pretending to be a computer scientist.
Senior Engineer @pipekit
@pipekit Melbourne
Logyi, hajnalvédő
lojikil
Former DIR of OffSec & former Unix Curmudgeon. Totally available for discussions of phantom types. Dad, PLT Philosopher, Tolstoy, Epictetus, Jun Tsuji, & Camus
