Ashish Tiwari


I am with the formal methods group in the Computer Science Lab at SRI . My research interests include term rewriting, saturation based theorem proving, logic, verification, hybrid systems, etc. Click here for publications, etc. More stuff at
  • my personal page.

    Some Trip Reports/Pictures

    Some Interesting and Useful Sites

    Off : EL260, SRI Intl, 333 Ravenswood Ave, Menlo Park, CA 94025. Tel : 650-859-4774

    Ashish Tiwari (Email: tiwari _AT_ csl _DOT_ sri _DOT_ com)

    Back to CSL lab home page