Fares Fraij — Computer Science & Eng. faculty at UT Austin. Research: Research Interests: Automatic Theorem Proving Computer-Aided Instruction Visual-Assisted.