CS student interested in decentralized computing, mathematical logic and web development.