"Correct reasoning is our business"
is a professor of computer science at the
University of Texas at Austin.
His research interests are in
computational logic and knowledge representation, and he
leads Texas Action Group at Austin.
"Remember folks, if you have an open mind it makes it less
likely that your head will explode." (Bret Stephens)
- Phone Numbers:
(512) 471-9564 (Office)
(512) 471-8885 (Fax)
- Postal address:
Department of Computer Science
University of Texas at Austin
2317 Speedway, Stop D9500
Austin, TX 78712-0233