Lauren Pick

I am a fourth-year PhD student in Princeton University's Computer Science department working with Prof. Aarti Gupta. My CV can be found here.

Research Interests

I am broadly interested in topics related to software verification, with specific interests in the following:


Exploiting Synchrony and Symmetry in Relational Verification. Lauren Pick, Grigory Fedyukovich, Aarti Gupta. CAV'18. paper extended version slides code