Ranjit Kumaresan

RK

9

Publications

941

Citations

9

H-Index

2009

Active since

Ranjit Kumaresan is an author at Massachusetts Institute of Technology specializing in computer science, engineering, and formal verification.

Publications per year

2009–2019

9

Publications

9