959
reputation
2
1

laola

A PhD student in formal verification of software.

  • California, USA
  • Member for 2 years, 4 months
  • 0 profile views
  • Last seen Mar 27 at 13:23