Lauren Pick

Assistant Professor

Chinese University of Hong Kong · Hong Kong

Artificial IntelligenceMachine LearningMachine LearningComputer TheoryTheory and AlgorithmsTheory and AlgorithmsData and Software EngineeringSoftware TechnologiesSoftware TechnologiesNetworks and SystemsDistributed Systems and NetworksDistributed Systems and Networks

简介

Lauren Pick is an Assistant Professor in the Department of Computer Science and Engineering at The Chinese University of Hong Kong. Her research interests lie in the development of algorithmic techniques for automated verification and synthesis and in the application of such techniques to help people understand and ensure the correctness of large and complex software systems. She received her Ph.D. from Princeton University in 2022, where she was supported in part by an NSF GRFP fellowship, and was a Computing Innovation postdoctoral fellow from 2022 to 2024, during which time she was affiliated with the University of California at Berkeley and the University of Wisconsin—Madison. Top Cited PublicationsAbtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi. Q

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。