Funding

Sponsored research

The lab's research is supported by federal agencies and national laboratories. Below are the active awards on which lab director Carlos Toxtli-Hernández serves as Principal Investigator or Co-Principal Investigator.

  • National Science Foundation
  • Office of Naval Research
  • NASA
  • U.S. Army DEVCOM GVSC
  • Savannah River National Laboratory

AIMing: Interactive Conjecture Proving

Human-AI collaboration for research-level mathematics: conjecture generation, premise retrieval and robust mathematical reasoning with language models. The largest project led by the lab.

Sponsor
National Science Foundation
AI, Formal Methods, and Mathematical Reasoning (AIMing)
Period
2024-2027
Team
Carlos Toxtli-Hernández, Luis David Garcia Puente (Colorado College), Michael Burr and Vinita Gangaram Jansari

Collaborative Research: FW-HTF-RL: The Future of Aviation Inspection: Artificial Intelligence and Mixed Reality as Agents of Transformation

How artificial intelligence and mixed reality can transform the work of aviation maintenance inspectors.

Sponsor
National Science Foundation
Future of Work at the Human-Technology Frontier (FW-HTF)
Period
2023-2027
Team
Anand Gramopadhye, Kapil Chalil Madathil, Nathan McNeese and Carlos Toxtli-Hernández

Minimizing the Impact of Cognitive and Physical Limitations from Humans and Autonomy Through the Development, Training, and Implementation of Human-Autonomy Teaming in Underwater Environments

Human-autonomy teaming for underwater search and rescue, from team needs assessments to vision models for autonomous underwater vehicles.

Sponsor
U.S. Department of the Navy, Office of Naval Research (ONR)
Period
2023 · 3 years
Team
Nathan McNeese and Carlos Toxtli-Hernández

SaTC 2.0: RES: Tracking the Usability of Secure Authentication Systems

Measuring and tracking the usability of secure authentication systems as people use them.

Sponsor
National Science Foundation
Secure and Trustworthy Cyberspace (SaTC 2.0)
Period
2025-2028
Team
Kelly Caine and Carlos Toxtli-Hernández

HCC: Small: Towards Leveraging Generative AI to Support End-User Driven Creative Workforces in Technology

How generative AI can support end-user driven creative workforces in technology.

Sponsor
National Science Foundation
Human-Centered Computing (HCC)
Period
2024-2027
Team
Guo Freeman and Carlos Toxtli-Hernández

FERMI-LLM: A Large Language Model for the Analysis of FERMI-LAT Data

A language-model platform that turns plain-English requests into verifiable Fermi Large Area Telescope gamma-ray analyses.

Sponsor
National Aeronautics and Space Administration
Fermi Guest Investigator Program, Cycle 17
Period
2025-2028
Team
Marco Ajello and Carlos Toxtli-Hernández

Resilient Vehicle Network Security Architecture for Next-Generation Military Ground Vehicle

A resilient network security architecture for next-generation military ground vehicles.

Sponsor
U.S. Army DEVCOM Ground Vehicle Systems Center
Virtual Prototyping of Ground Systems (VIPR-GS) Center, project 1.25.25
Period
2026
Team
Pierluigi Pisu, Carlos Toxtli-Hernández and James Jones (George Mason University)

CU-SRNL GSS: Physics-informed deep learning for water quantity and quality simulations across Savannah River Basin

A graduate position at the interface of machine learning and hydrology, developing physics-informed deep learning for water simulations.

Sponsor
Clemson University and Savannah River National Laboratory
Graduate Student Support Program
Period
2026
Team
Vidya Samadi, Carlos Toxtli-Hernández and David Werth (Savannah River National Laboratory)

Spot the Sextortionist: Detecting and Inoculating Against AI-Enabled Deceptive Personas Targeting Youth

Generative AI is making the fake personas behind financially motivated sextortion harder to spot. The project builds an open corpus of authentic, human-authored and AI-generated approach personas, tests how well adults, including parents of teens, detect them and whether a brief training module modeled on the Hub's Spot the Troll improves detection, and interviews practitioners who work with targeted teens.

Sponsor
Clemson University Media Forensics Hub
Seed Grant (2026)
Period
2026-2027
Team
Carlos Toxtli-Hernández and Jinkyung Katie Park

Clemson University Research Faculty and Postdoctoral Researcher Support Grant (CU Fellows)

A two-year postdoctoral position in AI-enhanced computational astrophysics.

Sponsor
Clemson University
Period
2024 · 2 years
Team
Marco Ajello, Jonathan Zrake, Jeffrey Fung and Carlos Toxtli-Hernández

Any opinions, findings, and conclusions or recommendations expressed in the lab's work are those of the authors and do not necessarily reflect the views of the sponsors. Logos are trademarks of their respective organizations and are shown to acknowledge funding.