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:

• My collection of Web sites, papers and FTP sites, which focuses mostly on theorem-proving and related matters. Needs some updating.

• Here are some contributed problems to the CADE'98 workshop on Problem-solving Methodologies with Automated Deduction.

• STeP, the Stanford Temporal Prover, a tool for the temporal verification of reactive systems, developed by Zohar Manna's research group.

Fun and random things:

• The Stanford CSD theory page.
• The QED mailing list archives.
• Dilbert cartoons.
• The Encyclopaedia Britannica (Stanford only).
• The Xerox PARC PubWeb Server is here.
• Magazines and News:
  • The New York Times and their Book Review.
  • The Washington Post, including a section on the Americas. It also includes a good collection of cartoons.
  • The Chicago Tribune.
  • The San Francisco Examiner.

  • The El Tiempo newspaper.
  • The El Espectador newspaper.
  • The El Colombiano newspaper.

  • The magazine Mother Jones is available on-line.
  • The Palo Alto Weekly.
  • TIME Magazine.
  • Springer-Verlag.
• Music: My page of music links.
• Movies:
  • The Internet Movie Database.
  • The Palo Alto Weekly, where you can find reviews and times for movies currently playing in the area.
• For PC users, here is a guide to the Simtel archive in Germany.
• Of course, there's the NCSA WHAT'S NEW page. (You can tell how old this page is by this link...)

Newsgroups:

• csd.bboard
• csd.logic
• comp.theory
• comp.constraints
• comp.ai

The ACM information page.

The Stanford home page.

The Computer Science Department home page.

The Theory Division home page.

Tomás E. Uribe