The Multi-Vehicle Ride-Sharing Problem
Published in WSDM 2022, 1900
Posts by Collection
portfolio
publications
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
Published in CAV 2022, 1900
Inferring Accumulative Effects of Higher Order Programs
Published in , 1900
Logical Relations for Formally Verified Authenticated Data Structures
Published in , 1900
talks
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.