Kinan Dak Albab is a Ph.D. student in the Department of Computer Science at Boston University. He was advised by Professor Andrei Lapets and works closely with Professors Assaf Kfoury, Mayank Varia and Azer Bestavros. Kinan joined the Ph.D. program in September 2016. His research lies in ensuring safety and security of cloud-based distributed systems, and he is interested in designing cryptographic protocols for distributed systems at scale to ensure security and privacy, and 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. Kinan received a B.S. in Computer Science in 2015 from the American University of Beirut with a Minor in Mathematics. In the past, he has worked with Professors Paul Attie and Mohamad Jaber.