Research Areas

  • Algorithms and Theory of Computation
  • Artificial Intelligence and Intelligent Agents
  • Cyber Security
  • Data Sciences and Analytics
  • Health Care Information Technology
  • Information and Knowledge Management
  • Quantum Computing

Education

  • PhD 1980, Massachusetts Institute of Technology, Artificial Intelligence
  • SM 1977, Massachusetts Institute of Technology, Electrical Engineering and Computer Science
  • BS 1974, University of Houston, Mathematics

CSC Fall Courses

  • CSC 333-002 LEC Automata Gram Comp   MW 10:15am-11:30am   Room: 2240 Engineering Building 3

  • CSC 503-001 LEC Comp Applied Logic   MW 1:30pm-2:45pm   Room: 1229 Engineering Building 2

Awards

  • American Association for Artificial Intelligence, Fellow - 1981
  • Member, AAAI Executive Council (1996-1999)
  • Chair, ACM SIGART (1989-1991)
  • Extraordinary Member, Frege Centre for Structural Sciences, Friedrich Schiller University, Jena, Germany
  • Director, Principles of Knowledge Representation and Reasoning
  • Associate chair, NSF/CRA/ACM Strategic Directions in Computing Research
  • Invited speaker, AAAI-90, NM-96, KR-06
     

Publications