I am a computer science student at the American University of Beirut and a mathematics student at the Lebanese University. My focus is on topics at the intersection of mathematics, computer science, and philosophy, including: type theory, category theory, foundational mathematics and computer science, proof assistants, formal languages, proof theory, etc… ©