Skip to main content

Faculty Profile

in this section

Bart Selman

  • Bart Selman
  • Dept: Computer Science
  • Title: Director of the Intelligent Information Systems Institute, Joseph C. Ford Professor of Engineering
  • Address: 351 Gates Hall
  • Phone: 607 255-5643
  • return to list


Bart Selman is a Professor of Computer Science at Cornell University. He previously was at AT&T Bell Laboratories. His research interests include efficient reasoning procedures, planning, knowledge representation, and connections between computer science and statistical physics. He has (co-)authored over 100 publications, including six best paper awards. His papers have appeared in venues spanning Nature, Science, Proc. Natl. Acad. of Sci., and a variety of conferences and journals in AI and Computer Science. He has received the Cornell Stephen Miles Excellence in Teaching Award, the Cornell Outstanding Educator Award, an NSF Career Award, and an Alfred P. Sloan Research Fellowship. He is a Fellow of the American Association for Artificial Intelligence and a Fellow of the American Association for the Advancement of Science. Web-Stat hit counters

Teaching Interests

Artificial Intelligence, Computer Science

Selected Publications

  • Xue, Yexiang , Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman. 2016. "Variable Elimination in Fourier Domain." Proceedings of the 33rd International Conference on Machine Learning (ICML), June.
  • Wu, Chenxia, Jiemi Zhang, Bart Selman, Silvio Savarese, Ashutosh Saxena. 2016. "Watch-Bot: Unsupervised learning for reminding humans of forgotten actions." Paper presented at Proc. IEEE International Conference on Robotics and Automation (ICRA-2016)
  • Xue, Yexiang, Zhiyuan Li, Stefano Ermon, Carla Gomes, Bart Selman. 2016. "Solving Marginal MAP Problems with NP Oracles and Parity Constraints.." Paper presented at Proc. 30th Ann. Conf. on Neural Information Processing Systems (NIPS-16)
  • Xue, Yexiang , Stefano Ermon, Carla P. Selman, Bart Selman. 2015. "Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)
  • Ermon, Stefano, Ronan Le Bras, Santosh Suram, John M. Gregoire, Carla Gomes, Bart Selman, Robert B. van Dover. 2015. "Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery." Proceedings of 29th Conference on Artificial Intelligence (AAAI), Austin, Texas, January (1st Quarter/Winter).

Selected Awards and Honors

  • AAAI-16 Classic Paper Award for the paper entitled "Boosting Combinatorial Search Through Randomization" (AAAI-98) 2016
  • IJCAI inaugural John McCarthy Award 2015
  • Runner-up, Best Paper Award, UAI-2013 for "Optimization with Parity Constraints: From Binary Codes to Discrete Integration." 2013
  • Fellow of the Association for Computing Machinery (ACM) 2012
  • AAAI Classic Paper Award for "A New Method for Solving Hard Satisfiability Problem" (Assoc. for the Advancement of Artificial Intelligence) 2011



  • MS (Physics), Technical University of Delft, 1983
  • MS (Computer Science), University of Toronto, 1985
  • Ph D (Computer Science), University of Toronto, 1991