Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Sergey Kazenyuk

nvmd
0 Stars

Software engineer: Computer Science research, Functional Programming, Decentralized Applications.

Decks

IsoTypes or Formalization of the isomorphism of typed constructs of the different computing environments (namely Coq and Haskell)
nvmd
0
43
A better privacy on the blockchain
nvmd
0
110

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade