conf.researchr.org / Muralidaran Vijayaraghavan
No Photo

Registered user since Thu 30 Jun 2016

Name:Muralidaran Vijayaraghavan
Country:United States
Affiliation:Google Research
Personal website: http://people.csail.mit.edu/vmurali
GitHub: https://github.com/vmurali
Research interests:Programming Languages, Theorem Proving, Formal Verification, Proof Assistants, Computer Architecture

Contributions