University of Florida — United States
Computer Science · Physical Sciences
3h-index18citations17works0.32yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(3), Distributed Control Multi-Agent Systems(3), Software Engineering Research(3), Advanced Control Systems Optimization(3), Model-Driven Software Engineering Techniques(3)
Publications17 total
ArXiv.org·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
Electronic Proceedings in Theoretical Computer Science·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024· 1 citedOpen Access
Journal of Logical and Algebraic Methods in Programming·2023· 4 cited
arXiv (Cornell University)·2023· 1 citedOpen Access
arXiv (Cornell University)·2023Open Access
arXiv (Cornell University)·2022Open Access
Lecture notes in computer science·2022· 3 cited
arXiv (Cornell University)·2021Open Access
2020· 6 cited
Frequent Co-authors
James Fairbanks(14), Matthew Hale(8), Evan Patterson(6), Matthew Klawonn(5), Kristopher Brown(4), Baike She(4), Hans Riess(3), Cristian F. Nino(2), Joana Bou Barcelo(2), Austin Copeland(2), Warren E. Dixon(2), James Fairbanks(2), S. Cohen(2), Danielle Ferguson(1), Yan Cao Albright(1), Daniel Lomsak(1), Kevin Orr(1), Jay Ligatti(1), Yichen Zhao(1), T. Gross(1)