Adem Bizid is a Mathematics and Computer Science student at MIT, passionate about the intersection between theoretical foundations and real-world systems. He is drawn to problems where mathematics influences the design, verification and construction of software, believing that the most reliable and innovative technology is rooted in profound, principled thinking.