Tomás E. Uribe

Ph.D., 1998.
Now at SRI International.

Research Interests: Formal methods, temporal verification of reactive systems, automated deduction (theorem-proving), model checking, constraints.

On-line papers (list), or with abstracts.

Research Links:

Fun and random things:


The ACM information page.

The Stanford home page.

The Computer Science Department home page.

The Theory Division home page.

Tomás E. Uribe