The REACT Group – Stanford Computer Science

Quick Links

• Group Members
• Technical Reports
• Publications

This page is under construction. Some links may be broken. Check back soon.

The REACT Group is a research group at the Computer Science Department at Stanford University, headed by prof. Zohar Manna.

Here you will find information about the group and links to the rest of our web pages.

• Group Members, old and new, with links to web sites, papers, & stuff.
• Publications, a.k.a. how we earn our salary.
• Technical Reports, with extended versions of our papers and even otherwise unpublished stuff!