Yuyang Sang 桑榆扬 CV

I am a researcher at Alibaba Cloud US LLC, where I focus on employing formal verification techniques to ensure the correctness and reliability of components within Alibaba Cloud's infrastructure. I received my Ph.D. from Yale FLINT group, working under the mentorship of Prof. Zhong Shao. During my doctoral studies, I recognized that specifying and verifying software is just as important as implementing it. This insight drives my commitment to integrating formal methods into the software development lifecycle and advocating for their adoption as an industry standard. My research initially focused on developing programming languages that facilitate reasoning about system specifications, implementations, and their refinements. Since joining Alibaba, I have shifted my focus toward enhancing the scalability and automation of formal verification tools and techniques.

In addition to formal verification, I am passionate about applying programming language techniques to cryptography, aiming to enhance both its efficiency and accessibility. My ultimate goal is to simplify the implementation of cryptographic protocols, making them as intuitive as writing standard programs while ensuring optimal performance.