Indranil Saha
PhD Candidate

UCLA Computer Science Department
Los Angeles, CA 90095-1596, USA

indranil [at] cs.ucla.edu

I am a fourth year Ph.D. student in the Computer Science Department of University of California, Los Angeles. My advisor is Prof. Rupak Majumdar.

In summer 2010 and summer 2011, I was an intern at SRI International. There my mentor was Dr. Natarajan Shankar.

My research interest is verification and synthesis of embedded control software.
Here is my CV.


Recent Publications

  • ModelRob: A Simulink Library for Model-Based Development of Robot Manipulators   [paper ]
       Indranil Saha and Natarajan Shankar
       ICRA 2012

  • Performance-Aware Scheduler Synthesis for Control Systems   [paper | presentation ]
       Rupak Majumdar, Indranil Saha and Majid Zamani
       EMSOFT 2011

  • Automatic Verification of Control System Implementations   [paper | presentation]
       Adolfo Anta, Rupak Majumdar, Indranil Saha and Paulo Tabuada
       EMSOFT 2010
       Best Paper Award

  • Systematic Testing for Control Applications   [paper]
       Rupak Majumdar, Indranil Saha and Zilong Wang
       MemoCODE 2010
        Invited Paper

  • Symbolic Robustness Analysis   [paper | presentation]
       Rupak Majumdar and Indranil Saha
       RTSS 2009

    • A complete list of my publications is available here.