Fatih Haltas
Ankara, TURKEY"Nothing in the life is to be feared, it is only to be understood"
E-Mail to:fatih@cs.utexas.edu
Advisor:Matt Kaufmann
Computer Science Department,University of Texas,Austin,TX
Subject: Mechanical Theorem Proving (see The ACL2 Theorem Prover)
