Registered user since Thu 30 Jun 2016

Name: Muralidaran Vijayaraghavan

Affiliation: SiFive

Personal website: http://people.csail.mit.edu/vmurali

Research interests: Programming Languages, Theorem Proving, Formal Verification, Proof Assistants, Computer Architecture

Contributions