Ashish Tiwari

This is a clone of the SRI page, which is not up to date any more. I am currently a member of the PROSE team at Microsoft. Before that I was at SRI International. I can no longer access emails sent to the SRI address, please reach me at firstname.lastname _AT_ microsoft _DOT_ com.

Research Interests

Decision Procedures

: Equational Reasoning, Term Rewriting, Reals, Exists-Forall

;
Hybrid Systems

: Verification, Synthesis, Abstraction, Computability and Control, Applications to Air/Ground Vehicles

;
Program Analysis/Synthesis

: Logical Abstract Interpretation, Decidability, combination, and pointer analysis, Probabilistic programs

;
Symbolic Systems Biology

: Pathway Logic


CV.pdf

Current Professional Activities

Research Publications (reverse chronological order)

See also list on google scholar and on DBLP.

Talks/Conference Tutorials


Slides for my lectures: Model Checking: Problem Definition, Model Checking: Example , Hybrid Systems: Definition, Model Checking: Techniques for Hybrid Systems. Tools: SAL, HybridSAL qualitative abstractor, and HybridSAL relational abstractor. Lab Exercise: exercise.txt, solution collatz.sal, puzzle.sal or puzzleNew.sal, robotNew.hsal
Click here to display list.

Softwares/ Other Artifacts

Click here to display software list.

Other Papers/Reports

Click here to display list of other papers/reports.

Teaching

Click here to display list.

Miscellaneous: Old Links

  • Funding: NSF CISE page , NIH guide for grants and contracts, with links to PAs and RFAs , Darpa solicitations .

    Off : Microsoft, Redmond, WA 98052. Tel : 650-544-8568

    Ashish Tiwari (Email: firstname.lastname _AT_ microsoft _DOT_ com)