|
Rajeev Joshi Email: 
|
|
| I am primarily interested in applying formal methods to various aspects of
the system design process, including verification, optimisation and automatic
synthesis. I am also interested in various theoretical topics, including
concurrency theory and distributed computing.
I am currently affiliated with the newly created Laboratory for Reliable Software at NASA's Jet Propulsion Laboratory in Pasadena, CA. |