Frama-C
Johan Vikman Lundström
JohanVikman
Programmer based in Luleå. Loves Erlang and BEAM-languages.
Cisco Luleå, Sweden
Jeffrey H. Johnson
johnsonjh
Not RPM developer Jeffrey Johnson. Not XTree developer Jeffrey Johnson. Not Jeffrey Johnson, Google Senior Software Engineer. Not the robotic engineer, either.
BAN AI Systems https://keybase.io/trnsz
Hengfeng Wei (魏恒峰)
hengxin
I am currently a Research Assistant at Software Institute at Nanjing University, China.
Nanjing University (南京大学) Nanjing University
FermiQ
FermiQ
Im an intergalactic dust particle; hanging on a limited lifespan; anticipating a lightYr. old ray of luv 2 consummate with QFT; QT; Statistical Probabilistic QC
Neutrino
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer
Previously Apple Pay Security
Lafayette, Indiana
Maxim Korotkov
ProjectMutilation
DevSexOops engineer,
C, C++ hater,
Python Amateur
@postgrespro Sarov, Russia
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Michael Schwarz
michael-schwarz
PhD Candidate in Static Analysis at TUM
Technical University of Munich @tum-cit-pl Munich
Stanimir Bozhilov
mrstanb
Trying to absorb as much knowledge as possible, one bit at a time
Switzerland
