Scholar
Matheus Kunzler Maldaner
Google Scholar ID: Vl6XswcAAAAJ
University of Florida
Citations & Impact
Citations
9
H-index
2
i10-index
0
Publications
5
Co-authors
13
list available
Publications
Resume (English only)
Academic Achievements
- Graduated Summa Cum Laude with a B.S. in Data Science from the University of Florida with a thesis on the applications of Differentiable Logic Gate Networks; inducted into the UF Hall of Fame for academic and leadership contributions.
Research Experience
- Conducts research with the Florida Institute for National Security (FINS) on Neurosymbolic AI, working with Dr. Damon Woodard and Dr. Domenic Forte, particularly on the application of Differentiable Logic Gate Networks. Conducts remote research at Carnegie Mellon University's Human-Computer Interaction Institute, working with Dr. Jason Hong, Dr. Motahhare Eslami, and Dr. Kenneth Holstein, and mentors Wesley Deng on the development of tools to audit text-to-image models. Works with Microsoft Research's AI Frontier group, primarily with Dr. Hussein Mozannar, Dr. Gagan Bansal, and Dr. Adam Fourney, on enabling Agentic Systems to perform longer running tasks, and is involved in the development of SentinelBench.
Education
- Graduated with a B.S. in Data Science from the University of Florida; currently pursuing an M.S. in AI Systems at the University of Florida. Mentors not explicitly mentioned.
Background
- Currently a first-year master's student at the University of Florida in the M.S. AI Systems Program. Originally from Brazil, moved to the United States in 2017 and attended high school at Marjory Stoneman Douglas. Graduated Summa Cum Laude with B.S. in Data Science from the University of Florida with a thesis on the applications of Differentiable Logic Gate Networks.
Miscellany
- Enjoys making sushi (having worked at a sushi place for 2 years), rock climbing, reading science fiction books, and participating in (and sometimes winning) hackathons.
