Research Focus
Efficient reasoning procedures, planning, knowledge representation, and connections between computer science and statistical physics.
Bart Selman
Professor, Computer Science
Departments and programs
- Carl Sagan Institute
Affiliated Colleges
- College of Arts and Sciences