(r2) Research < Sistla

Sistla Web>Research (revision 2) (raw view)~~EditAttach~~

---+ Research

   * [[http://www.cs.uic.edu/~sistla/interest_fm.html][Formal Methods in Concurrent and Distributed Systems]],
   * [[http://www.cs.uic.edu/~sistla/interest_fm.html][Semantics and Verification of Concurrent Programs]],
   * [[http://www.cs.uic.edu/~sistla/interest_db.html][Database Management Systems]],
   * [[http://www.cs.uic.edu/~sistla/interest_security.html][Security]]
   * Distributed Systems.

Topic revision: r2 - 2009-06-19 - 19:41:13 - Main.rdoma2

Sistla

Education
Research
Publications
Experience
Talks
Tools
Contact

[edit this]

Sistla.WebHome"> <img src="/pub/TWiki/TWikiDocGraphics/home.gif" width="16" height="16" alt="Home" title="Home" border="0" /> [_1] Web
Create New Topic
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences

WISEST
Helping Women Faculty Advance
Funded by NSF