Dr. John Licato is an Assistant Professor in the Computer Science and Engineering department of the University of South Florida (USF), and the founder/director of the Advancing Machine and Human Reasoning (AMHR) Lab. He obtained his Ph.D. in computer science from Rensselaer Polytechnic Institute (RPI) in May 2015, working under Professor Selmer Bringsjord and specializing in the computational modeling of analogical reasoning.
In August 2015, Licato started as an Assistant Professor of computer science at Indiana University-Purdue University Fort Wayne (IPFW) and founding director of the Analogical Constructivism and Reasoning Lab (ACoRL). Later that year, he was awarded the 2015 AFOSR Young Investigator's Program award. In 2017, he moved to the USF CSE department, and established the AMHR lab.
Dr. Licato is an artificial intelligence researcher primarily interested in human-level and logical reasoning; particularly, the kind of reasoning that we normally refer to as cognitive. This encompasses the following topics: Computational modeling of cognitive reasoning; cognitive science and robotics; computational cognitive architectures; automated theorem provers; artificially intelligent reasoners; analogical, deductive, and hypothetico-deductive reasoning; artificial reasoning with highly-expressive (e.g. second-order, modal, etc.) logics.
Generally interested in teaching courses that align with research interests, such as: computational cognitive modeling, automated theorem proving and logical reasoning with AI agents, etc.
B.S. in Computer Science with Magna Cum Laude. University of South Alabama. (2010)
Ph.D. in Computer Science. Rensselaer Polytechnic Institute. (2015)
Honors and Awards:
- Rensselaer Polytechnic Institute Founders Award of Excellence (2012)
- Air Force Office of Scientific Research Young Investigator's Program (YIP) award (2015)
- Sigma Xi (IPFW Chapter) Researcher of the Year (2016)
- Science Central STEM Community Fellow (2016)