Formal methods is a collection of mathematical techniques for specifying and verifying complex hardware and software systems.

Rice's Department of Computer Science has several researchers interested in formal methods, some from the Algorithms and Complexity group and others from the Programming Languages Theory (PLT) group.

The description of some current projects, recent publications, software packages, and related courses can be accessed through this site.

Additional information can be found on individual researchers' home pages.