A New UT ATP Group Web Page

A New UT ATP Group Web Page

The UT CS Department maintains a Research link on their web page. That link is where new and prospective graduate students look to see what kind of research goes on in our department.

There is an Automatic Theorem Proving Group link, which was set up around 1997 by Benjamin Shults, who has since graduated. The page claims that the ATP Group no longer exists since Woody Bledsoe died.

I have decided to put together a new web page for the ATP group. It mainly focuses on the ACL2 theorem prover, which has an active UT users group and regular meetings. But the new ATP page will try to list all of the people who have ever been associated with ATP at UT in some capacity (including the CLI connection).

Below is the list of names I have right now. It basically consists of the students or former students of Bledsoe, Boyer, and Moore, plus other active ATP student users and members of CLI's technical staff.

If you were associated with ATP at UT or CLI but your name isn't on this list, please send me that information, along with your email address and a home page URL, if possible, along with permission for me to use some or all of that information on the ATP web page.

If your name is on the list, I would like you to do four things.

Thanks,
J Strother Moore
moore@cs.utexas.edu

Current and Former Contributors to UT ATP

This list is is in roughly reverse chronological order. Perhaps that will help jog your memory of fellow students who have been omitted!