|
Department of Computer & Information Sciences
Email:
Phone:
Short CV
|
|
Bio
Dr. Michael Houlihan holds the rank of Associate Professor of Computer and
Information Sciences. He joined the Department of Computer and Information
Sciences in 1988 and served the as Department Chair from 1993 until June,
1999. He is currently the Associate Chair for Undergraduate studies. Dr.
Houlihan received an M.S. Degree in Chemistry from the University of Notre
Dame and an M.S. and Ph.D. degree in Computer Science from Polytechnic
University. His area of research is Computer Architecture, specifically the
automated verification of computer circuits. Courses taught include Computer
Architecture, Operating Systems, Data Structures and Web/CGI Programming.
Before joining the faculty at Fordham, Dr. Houlihan taught at the College of
St. Rose in Albany, New York, and at Manhattan College and Polytechnic
University here in New York City.Research
My dissertation topic was the Automated verification of digital circuits. I
developed a computer program using formal verification techniques to prove
that a circuit design executed correctly. Part of the research was conducted
during a summer grant at the Argonne National Laboratory. Subsequent research
topics investigated object-oriented databases, specifically large systems
databases used in the development and verification of digital circuits.
|
|
