Research Area AI Algorithms RPI Principal Investigators Selmer Bringsjord IBM Principal Investigators Kavitha Srinivas, Harsha Kokel, Michael Katz, Shirin Sohrabi Project Year 2025