Zyad Yasser
Research Assistant
Affiliation: NYU Abu Dhabi
Education: BS NYU Abu Dhabi
Research Websites: Center for Quantum and Topological Systems
Research Areas: Homotopy type theory; formalization
Zyad Yasser is a research assistant at the Center for Quantum and Topological Systems (CQTS) located at NYU Abu Dhabi. His research interests lie in homotopy type theory and topological quantum computing, reflecting a keen interest in theoretical computer science. Within the center, his focus lies in the formalization of axiomatic frameworks for topological quantum computing protocols, using Cubical Agda.
Prior to his role at CQTS, he pursued his undergraduate studies at NYU Abu Dhabi. In 2023, he graduated with a bachelor’s degree in Computer Science and Mathematics, summa cum laude. During this period, he became interested in algorithmic game theory, reflected in his Capstone thesis project titled "Stable Federated Fog Formation using Evolutionary Game Theory and Federated Learning."