University of Cincinnati Logo

 
ELECTRICAL ENGINEERING and COMPUTING SYSTEMS
COMPUTER SCIENCE THEORY and ALGORITHMS

Miscellany
   Experience:
1995 - present   --   Geier Chair Professor of Computer Science, University of Cincinnati
1990 - 1995   --   Computer Science, University of Cincinnati
1984 - 1990   --   Computer Science, Indiana University
1981 - 1984   --   Computer Science, Case Western Reserve University
1969 - 1975   --   Digital Signal Processing Group, Bell Telephone Laboratories
   Education:
1981   --   Ph.D. Computer Science, Rutgers, the state university of New Jersey
1971   --   M.S. Electrical Engineering, Columbia University
1969   --   B.S. Electrical Engineering, City College of New York
   Professional Affiliations:
1976 --     Association for Computing Machinery, SIGACT
1981 --     Society for Industrial and Applied Mathematics
   LaSH, 16 August 2006
   LICS workshop: Typical Case Complexity and Phase Transitions
   Workshop on Satisfiability
   Other conference and workshop invitations
   Project: heuristics for SBSAT
   CS Seminar, Spring 2007
   CS Seminar, 2 February 2005
   Reports
   Red-Black Tree Demonstration
   A BDD Visualizer
   Some Java Experiments
   Compendium of Solutions to Problems Setting Up Linux at UC
   Other links
ERC
MainStreet
Paul Erdos
NIT
Ladies on Campus
Oscar Robinson