Linux kernel, open source. SAT solvers, cryptography, GPU and graphics programming, compilers, fuzzing, security.
Former Ksplicer.
The views expressed on this website are my own and do not reflect the views of Oracle.
This profile is from a federated server and may be incomplete. Browse more on the original instance.