@ravimangal
Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
