Geoffrey Alexander
Geoffrey Alexander graduated with a PhD in 1995. His
dissertation
was on the use of term-rewriting in a clause-linking theorem prover.
The theorem prover that he wrote to demonstrate this is
called CLIN-E.
He is currently (January 1996) working at IBM, and can be reached there:
Department A41A / Building 500
IBM Corporation
4205 South Miami Boulevard
Research Triangle Park, NC 27709
(919) 254-5216
Or he can be reached by e-mail at
alexande@cs.unc.edu
plaisted@cs.unc.edu,
24-Jun-96
If you have a link to this page...