University of Illinois Urbana-Champaign — United States
Computer Science · Physical Sciences
10h-index301citations40works0.32yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, Reasoning, and Knowledge(18), Computability, Logic, AI Algorithms(14), Logic, programming, and type systems(13), Advanced Algebra and Logic(11), Quantum Mechanics and Applications(10)
Publications40 total
Electronic Proceedings in Theoretical Computer Science·2025Open Access
arXiv (Cornell University)·2024· 1 citedOpen Access
Lecture notes in computer science·2024
Electronic Proceedings in Theoretical Computer Science·2023· 3 citedOpen Access
Electronic Proceedings in Theoretical Computer Science·2023Open Access
Proceedings of the ACM on Programming Languages·2023· 16 citedOpen Access
Outstanding contributions to logic·2023· 1 cited
Electronic Proceedings in Theoretical Computer Science·2022· 1 citedOpen Access
Electronic Proceedings in Theoretical Computer Science·2022Open Access
Logical Methods in Computer Science·2022· 14 citedOpen Access
arXiv (Cornell University)·2022Open Access
arXiv (Cornell University)·2022· 1 citedOpen Access
arXiv (Cornell University)·2022· 1 citedOpen Access
PsycTESTS Dataset·2022
PsycTESTS Dataset·2022
2020· 19 citedOpen Access
arXiv (Cornell University)·2020· 2 citedOpen Access
arXiv (Cornell University)·2020Open Access
Emotion estimation from pose image with body movement
IEICE Technical Report; IEICE Tech. Rep.·2020
Lecture notes in computer science·2020· 18 citedOpen Access
page 1 of 2Next →
Frequent Co-authors
Peter Selinger(12), Neil J. Ross(9), Peng Fu(7), Samson Abramsky(4), Rui Soares Barbosa(4), Raymond Lal(4), Shane Mansfield(4), Joshua Sack(4), Shengyang Zhong(4), Steve Awodey(3), Jort M. Bergfeld(3), Peng Fu(3), Nuel Belnap(2), Alexandru Baltag(2), Sonja Smets(2), Hans-Christoph Kotzsch(2), Peng Fu(2), Masaya Takebe(2), Chisato Kuribayashi(2), Yuichi Tanabe(2)