Kinan Dak Albab is a PhD student in the Department of Computer Science at Boston University. His research lies in building and reasoning about computer systems and programs. He has been working on designing cryptographic protocols for distributed systems at scale to ensure security and privacy. He is interested in utilizing formal program analysis techniques (proof assistants) and novel programming models and frameworks to reason about the correctness and security of whole system at large.