I am a second-year master's student in the M.S. AI Systems program at the University of Florida and a recipient of the NSF Graduate Research Fellowship. My research spans Neurosymbolic AI, human-computer interaction, and agentic systems. I want to build AI systems that people can inspect and trust.

I conduct research with the Florida Institute for National Security on Differentiable Logic Gate Networks and am currently a research intern at FuguUX, Dr. Jason Hong's startup. Before that, I built tools for auditing text-to-image models at Carnegie Mellon University's Human-Computer Interaction Institute and was first author of SentinelBench, a benchmark for long-running monitoring agents, at Microsoft Research's AI Frontiers group.

I am applying to PhD programs in Fall 2026 and am open to research opportunities for Spring and Summer 2027. If my research fits your group, email me at [email protected].

Headshot of Matheus Kunzler Maldaner

Select Honors

View all

Recent News

All news

Recent Publications

All publications

Featured Projects

All projects
Last edited on: