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."