Rahul Kumar
Academic Background
- Pursuing Phd, Computer Science,
Brigham Young University
- M.S., Computer Science,
Brigham Young University, 2004.
- B.S., Computer Engineering,
Brigham Young University, 2002.
|
 |
Personal Bio
- I am originally from India, having lived in the West, East, North and
South parts of India. Currently I am a graduate student (MS) working
with Eric Mercer and Mike Jones, and love doing research with them. I
spend a significant part of the day reading different books about
math, religion, philosophy and food/travel. Travelling is one of the
most involved hobbies I have after cooking and reading. I also like to
go walk around and talk to random people about the ontological
existence of the universe.
Current Projects
- I am working on two major projects:
- Overcoming dynamic node loss in a distribute verification process
- Symmetry reduction in Murphi in a distributed environment
Past Projects
- In the past I have worked on the following projects for my graduate research
- Adding LTL liveness property checking in Murphi
- Parallelizing the Murphi verifier using MPI
|
