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

About

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

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.