Date Posted: 10/13/2021
jd648
Permalink
Role: 
Ph.D. Student
Location: 
323 Gates Hall
Email Address: 
jb965@cornell.edu
Link: 
http://baojia.lu
Research Focus: 
Verification of Probabilistic Programs
Former Cornellian: 
Image: 
First Name: 
Jialu
Show Email?: 
0
Research Concentration: 
Programming Languages and Logics