Department of Computer & Information Sciences


Short CV


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.


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.
top | CIS home | contact webmaster