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


Summer School dates: 5/19 --- 5/23 in Menlo College, Menlo Park

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

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)