Home > People > Faculty > Lawrence J. Henschen

Lawrence J. Henschen Professor Please note that this page is no longer being maintained. Follow this link for current faculty listing. Room: L349 Telephone: (847) 491-3338 E-mail: henschen@eecs.northwestern.edu Personal Website: www.eecs.northwestern.edu/~henschen

Lawrence J. Henschen is a Professor in the Department of Electrical and Computer Engineering at Northwestern University. He joined the ECE department in 1971. He has authored about 115 journal and refereed conference papers and has supervised 71 Ph.D. students. He received his B.A. in 1966 cum laude, his M.A. in 1968, and his Ph.D. in 1971, all in Mathematics from the University of Illinois at Urbana-Champaign. Research Interests Automated Reasoning, theorem proving, metareasoning, deductive databases, heterogenous/distributed database systems, visual aids for programming.

Copyright © 2002 Department of Electrical and Computer Engineering
Robert R. McCormick School of Engineering and Applied Science,
Northwestern University. All rights reserved.

Send questions and comments to the Webmaster.