This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.
Two Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
One Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Skills/Languages
System Architecture, Frama-C, WhyML, OCaml, GO, JS and the usual
Currently hacking on
Life, mostly and also writing about software in these troubled times at https://theChris.in
Available for
Anything FOSS or Opencore at the very least. I prefer verified systems, formal verification, language design etc. Perenially looking for something that excites me.
Want to connect with Chris Roy?
Create an account to connect with Chris Roy. You can also sign in below to proceed if you already have an account.