Date Posted: 1/17/2025
mlp57
Permalink
Role: 
Ph.D. Student
Location: 
G23 Gates Hall
Email Address: 
lzielinski@cs.cornell.edu
Research Focus: 
Formal verification
Former Cornellian: 
Related Research Areas: 
Theory of Computing
Image: 
First Name: 
Laura
Show Email?: 
1
Research Concentration: 
Programming Languages and Logics
Based In: 
Ithaca