Hi, I'm Jose

(\x y z -> y.x@z.com) "josem" "cardona" "gmail"

I'm broadly interested in programming languages, cryptography, application security, functional programming, number theory and abstract algebra.

I'm currently happily employed @Kadena hacking on Pact.

Some of my open source work and contributions (more on my github):

Feel free to reach out to me over email, twitter or linkedin