Users following rems-project
Timothy Lake
arachnewebb78-hash
I was born in 1978. I'm a musician and a writer. I am interested in Applied Mathematics and Computing.
Dayton, OH USA
forestfoxx
Researching all things security. Especially interested in hardware fuzzing, Linux kernel, eBPF and DevSecOps.
Len P. van der Hof
Lenvanderhof
Think Big–Build Beyond. Founder & owner of LPH98.ventures.
LPH98.ventures Rotterdam, The Netherlands
Sean P. Myrick V19.1.7.2
seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.
Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>
fermiq
FermiQ
Im an InterGalactic Dust Particle; hanging on a Limited LifeSpan; anticipating a LightYr. old Ray of Luv 2 Consummate me with QFT; QT; QC; & Mode Collapsing AMI
Science Neutrino
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@rocq-community Vietnam
PreviousNext