akh

Hi, I'm Andrei Khomenkov, a systems engineer focused on Linux and OpenBSD programming. I write in C, avoiding complexity, and occasionally submit patches to the Linux kernel. Currently, I'm interested in formal verification using Ada and SPARK.

My projects

• sparklibc - An Ada/SPARK implementation of the C standard library (libc)
  (This project is currently in the idea/discussion stage, if you can share your thoughts or help, join the mailing list)