Lauren Pick
I am a CI postdoctoral fellow co-mentored by Prof. Sanjit Seshia and Prof. Aws Albarghouthi. Previously, I was a PhD student in Princeton University's Computer Science department advised by Prof. Aarti Gupta.
I am broadly interested in the application of automated verification and synthesis techniques in different domains. In practice, straightforward application of these techniques faces scalability limitations, requiring new domain-specific representations and algorithmic approaches.

News

Apr 2023 Psym paper and quantum circuit optimizer synthesis paper accepted to PLDI
Sep 2022 Benchmark paper accepted to NeurIPS
Aug 2022 "Qubit mapping and routing via MaxSAT" accepted to MICRO
Nov 2021 FPO ("thesis defense") complete!
Jul 2021 Received CIFellowship to work with Prof. Aws Albarghouthi at UW-Madison

Publications