UC Berkeley EECS
m.low@berkeley.edu
Formal methods, machine learning, neurosymbolic reasoning + AI
https://www.linkedin.com/in/mlow/
