  This is the home page for the PSP group in the <a href="http://www.cs.utexas.edu/">Department of Computer Sciences</a> at <a href="http://wwwhost.cc.utexas.edu/">The University of Texas at Austin</a>. PSP stands for Programs, Specifications and Proofs.  The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner. The group is supervised by <a href="http://www.cs.utexas.edu/users/misra">Jayadev Misra</a>, who developed the theories  we work on. The research areas are: <a href="#unitysec">UNITY</a>, <a href="#plistsec">Powerlists</a> and <a href="#seusssec">Seuss</a>. <p>
