Prof. Ilya Sergey — Research Profile
National University of Singapore · Computer Science
About
Prof. Ilya Sergey at National University of Singapore Computer Science lists Programming Languages & Software Engineering, Algorithms & Theory, Systems & Networking as their registered research area.
Research keywords
Recent papers
- Infinitary Relational LogicProceedings of the ACM on Programming Languages · Oct 1
- Tracking Borrows with Regular ExpressionsProceedings of the ACM on Programming Languages · Oct 1
- Semi-declarative Language for Combinatorial SearchProceedings of the ACM on Programming Languages · Oct 1
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Michael D. ADAMS 교수 연구실
National University of Singapore · Computer Science
Proceedings of the Seventh miniKanren and Relational Programming Workshop (miniKanren 2025)NewPreprintarXiv (Cornell University) · Oct 5Shared topic: Logic, programming, and type systems
BIAN Yatao 교수 연구실
National University of Singapore · Computer Science
What Do Current Systematic Generalization Tasks Miss? A Reasoning-Centered AnalysisPreprintarXiv (Cornell University) · Sep 16Shared topic: Logic, Reasoning, and Knowledge
Clark Barrett 교수 연구실
Stanford University · Computer Science
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4NewPreprintarXiv (Cornell University) · Sep 1Shared topic: Logic, programming, and type systems
Other labs in this department
- Abhik Roychoudhury 교수 연구실
Programming Languages & Software Engineering, Security
- Ambuj VARSHNEY 교수 연구실
Systems & Networking
- Angela Yao 교수 연구실
Artificial Intelligence, Media
- Anji LIU 교수 연구실
Artificial Intelligence
- Ben Leong Wing Lup 교수 연구실
Systems & Networking
- BIAN Yatao 교수 연구실
Artificial Intelligence