UNC-CH/ CS/ Mechanized Inference/ People

Geoff's picture 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...