James Oswald (Preferred)
James T Oswald
James T. Oswald
James Oswald
PhD student, Computer Science, Rensselaer Polytechnic Institute
Joined
December 2023
Names
,
,
Emails
****@gmail.com (Confirmed)
****@rpi.edu (Confirmed)
****@us.navy.mil (Confirmed)
Personal Links
Career & Education History
PhD student
Computer Science, Rensselaer Polytechnic Institute (rpi.edu)
2021 – Present
Undergrad student
Computer Science, State University of New York at Albany (albany.edu)
2018 – 2021
Advisors, Relations & Conflicts
PhD Advisor
Selmer Bringsjord
2021 – Present
Expertise
Lean 4
2023 – Present
Modal Logics
2022 – Present
Artificial Intelligence
2021 – Present
Publications
Co-Authors
- Aidan Flaherty
- Alexander Gorovits
- Anna Gonzàlez-Rosell
- Brandon Rozek
- Daniel Obolensky
- Fariha Moomtaheen
- Harsha Kokel
- John Angel
- John Slowik
- Junkyu Lee
- Kavitha Srinivas
- Matthew Killeen
- Micah Clark
- Michael Giancola
- Michael Katz
- Naveen Sundar Govindarajulu
- Paul Bello
- Peter Mastracco
- Petko Bogdanov
- Rikhiya Ghosh
- Selmer Bringsjord
- Shirin Sohrabi
- Shreya Banerjee
- Stacy M. Copp
- Thomas Macaulay Ferguson