About Nick Decroos

Curious engineer. Very interested (but not doing academic research) in applied math, cryptography, formalized mathematics, functional programming and other things.

Lists

Timeline

crsnq has no activity yet