Ashish Tiwari

Research Interests

Decision Procedures

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

;
Hybrid Systems

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

;
Static Analysis

: 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.
Click here to display publication list.

Talks/Conference Tutorials

7th Summer School on Formal Techniques: May 2017 in Menlo College, Atherton, CA
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: Useful Links/Upcoming Conferences

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

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