B.A. (Cantab), M.A., Ph.D. (Princeton)
Assistant Professor
Programming Languages, Formal Methods
Biography
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.
- Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi. Qubit Mapping and Routing via MaxSAT. International Symposium on Microarchitecture (MICRO). 2022.
- Lauren Pick, Grigory Fedyukovich, Aarti Gupta: Exploiting Synchrony and Symmetry in Relational Verification. International Conference on Computer-Aided Verification (CAV). 2018.
- Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi. Synthesizing Quantum-Circuit Optimizers. Programming Language Design and Implementation (PLDI). 2023.
- Lauren Pick, Grigory Fedyukovich, Aarti Gupta. Automating Modular Verification of Secure Information Flow. Formal Methods in Computer-Aided Design (FMCAD). 2020.
- Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala. AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels. Conference on Neural Information Processing Systems (NeurIPS). 2022.
- Computing Innovation Fellowship, 2021
- NSF Graduate Research Fellowship Program (NSF GRFP) Fellowship, 2018