哲学博士（计算机科学），加州大学圣塔芭芭拉分校（2025年）
理学硕士（计算机科学），莱特州立大学（2018年）
理学学士（数学），俄亥俄州立大学（2014年）

Zachary Sisco 是香港中文大学（深圳）数据科学学院的计算机科学助理教授。他在加州大学圣塔芭芭拉分校获得博士学位，由 Jonathan Balkind 和 Ben Hardekopf 联合指导。

Zachary 的研究领域位于编程语言、计算机体系结构和形式化方法的交叉点。他的研究将形式化方法集成到用于芯片设计的开源编程语言中，以在保证正确性的前提下支持开发者的敏捷性。Zachary 的研究成果已发表在编程语言和计算机体系结构领域的顶级会议（例如 PLDI 和 ASPLOS）上。他于 2025 年荣获加州大学圣塔芭芭拉分校计算机科学系的杰出博士论文奖。

Selected Publications

Control Logic Synthesis: Drawing the Rest of the OWL. Zachary D. Sisco, Andrew David Alex, Zechen Ma, Yeganeh Aghamohammadi, Boming Kong, Benjamin Darnell, Timothy Sherwood, Ben Hardekopf, Jonathan Balkind. Architectural Support for Programming Languages and Operating Systems, Volume 4 (ASPLOS), 2024.

Loop Rerolling For Hardware Decompilation. Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf. Programming Language Design and Implementation (PLDI), 2023.

Dissertation

Automated Reasoning for Agile and Robust Chip Design. Zachary D. Sisco. University of California, Santa Barbara, June 2025.