Academia Stack Exchange
Academia Stack Exchange

laola
957
reputation
8
14
  • California, USA
  • Member since March 26 2018
  • 337 profile views
  • Last seen Oct 21 '22 at 03:13

A PhD student in formal verification of software.