Bio

Rachel Cleaveland is a 3rd-year PhD student from Stanford University, advised by Clark Barrett. Her research focuses on symbolic execution as well as memory model verification.

Contact

Additional Info

  • Mail Code: 9025