TWiki
>
Sistla Web
>
Research
(revision 2) (raw view)
Edit
Attach
---+ 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.
Edit
|
Attach
|
P
rint version
|
H
istory
:
r3
<
r2
<
r1
|
B
acklinks
|
V
iew topic
|
Raw edit
|
More topic actions...
Topic revision: r2 - 2009-06-19 - 19:41:13 - Main.rdoma2
Sistla
Education
Research
Publications
Experience
Talks
Tools
Contact
[edit this
]
Log In
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
ABOUT US
Our Department
Recent News
Contact Us
ACADEMICS
Prospective Students
Undergraduate
CS Minor
Graduate
Courses
RESEARCH
Overview
By Faculty
Labs
PEOPLE
Faculty
Adjuncts
Staff
Students
Alumni
Copyright 2016 The Board of Trustees
of the University of Illinois.
webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF