Fairchild Laboratory for Artificial Intelligence Research (FLAIR)
1980 -1985
-
One of the four founders of FLAIR (which evolved into SPAR).
​
-
Participated in planning the laboratory, recruitment of staff and provision of equipment.
​
-
Research in intelligent aids for VLSI design, automated IC cell layout, expert systems for process problem diagnosis, visual inspection of ICs, resource allocation in IC testers.
​
-
Elected a Fairchild Scientist (1984).
​
-
Award for technical achievement.
Publications
H. G. Barrow. "Proving the correctness of digital hardware designs." VLSI Design, 5(7):64--77, July 1984.
H. G. Barrow. "VERIFY: A program for proving correctness of digital hardware designs." Artificial Intelligence, 24(2):437--491, 1984.
H. G. Barrow. "Proving the correctness of digital hardware designs." In Proceedings of the National Conference on Artificial Intelligence, pages 17--21, August 1983.
​
H. G. Barrow and J. M. Tenenbaum. "Computational vision." Proceedings of the IEEE, 69(5):572--595, May 1981.
​
H. G. Barrow and J. M. Tenenbaum. "Interpreting line drawings as three-dimensional surfaces." Artificial Intelligence, 17:75--116, 1980.