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

{username} has no activity yet