REMS
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
@aruba 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
@coq-community Vietnam
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
Ralph Hightower
RalphHightower
Software Developer C#, .Net, Photographer (35mm film, digital). Two final manned space launches: US half of Apollo/Soyuz Test Project, Space Shuttle STS-135
@Permanent-Vacations Chapin, South Carolina, USA
wozeparrot
Using zig and rust to replace C and C++. *with a splash of [ne]lua and a pile of nix*
@enqy Earth
Like Xu
lkml-likexu
A linux kernel developer, focusing on performance (w/ monitorability, w/ debuggability, w/ scalability, w/ power efficiency).
Tencent Cloud Shanghai, China
Zihao Li
zihaoli-cn
Institute of Computing Technology, Chinese Academy of Sciences.
interested in Compiler
PreviousNext