“Science may set limits to knowledge, but should not set limits to imagination.”
- Bertrand Russell
Hunter College of the City University of New York
Active work in computational biophysics and biology; past work in software testing,
formal methods, computer-based ophthalmological diagnostic tests and psychophysical testing.
Ph. D., (Computer Science), Courant Institute of Mathematical Science, New York University, 1987
M. S., (Computer Science), Courant Institute of Mathematical Science, New York University, 1984
B. A., summa cum laude, (Mathematics), Hunter College of CUNY, 1982
B. Architecture, The Cooper Union for the Advancement of Science and Art, 1973
After graduating from the Cooper Union for the Advancement of Science and Art with a bachelor's degree
in architecture, I spent seven years initially working in architectural offices, and later, operating
my own design and construction company. In 1980, for various reasons, I returned to school to change
careers. I received a bachelor's degree in mathematics from Hunter College and went on to the Courant
Institute for Mathematical Sciences to work on my doctoral degree. At the “Courant”, I worked
under the guidance of Elaine Weyuker, my advisor, and with much help from Martin Davis, to both of whom I
am deeply grateful for sharpening my understanding of theoretical computer science and logic.