About Nick Decroos

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

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet