معرفی
Bart Selman is a Professor in the Department of Computer Science at Cornell University, part of the College of Engineering. His research focuses on artificial intelligence, computational methods, and their intersections with statistical physics. He leads projects on stochastic search, multi-agent systems, and the integration of learning and reasoning techniques.
His work includes developing hardware solutions for SAT problems (e.g., SKI-SAT), advancing neural network frameworks for combinatorial optimization (e.g., LoCALESCAPER), and exploring the ethical implications of AI in societal contexts. Selman has contributed to foundational areas like knowledge representation, tractable inference, and planning systems, with applications in materials discovery and renewable resource management.
He has been involved in initiatives such as the ANTS and TASK projects, emphasizing collaborative problem-solving and constraint-based reasoning. His research spans theoretical advancements and practical applications, bridging AI with interdisciplinary challenges in science and engineering.
