Dr. Bart Selman Professor of Computer Science, Cornell University; Co-chair of the AAAI Presidential Panel on Long-Term AI futures