|
Department of Mathematics, Statistics,
and Computer Science, M/C 249
315 SEO
University of Illinois at Chicago
Chicago, IL 60607
tel: (312) 413-2143
fax: (312) 996-1491
e-mail
William Howard is a Professor of Mathematics.
He received his Ph.D. from the University of Chicago. His field of specialization
is proof theory, in which he has published several articles in the Journal
of Symbolic Logic and other journals. He is interested in the constructive
foundations of mathematics. Recently he has been developing an interest
in the application of logic to computer science. He has previously worked
at Bell Telephone Laboratories and taught at Pennsylvania State University.
|