연구실 목록
Ilya Sergey 교수 연구 프로필
싱가포르 국립대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
싱가포르 국립대학교 컴퓨터과학과 소속 Ilya Sergey 교수의 등록된 연구 분야는 Programming Languages & Software Engineering, Algorithms & Theory, Systems & Networking입니다.
연구 키워드
Programming Languages & Software EngineeringAlgorithms & TheorySystems & Networking
최근 논문
- Infinitary Relational LogicProceedings of the ACM on Programming Languages · 10월 1일
- Tracking Borrows with Regular ExpressionsProceedings of the ACM on Programming Languages · 10월 1일
- Semi-declarative Language for Combinatorial SearchProceedings of the ACM on Programming Languages · 10월 1일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Michael D. ADAMS 교수 연구실
싱가포르 국립대학교 · 컴퓨터과학과
Proceedings of the Seventh miniKanren and Relational Programming Workshop (miniKanren 2025)새 논문프리프린트arXiv (Cornell University) · 10월 5일겹치는 주제: Logic, programming, and type systems
BIAN Yatao 교수 연구실
싱가포르 국립대학교 · 컴퓨터과학과
What Do Current Systematic Generalization Tasks Miss? A Reasoning-Centered Analysis프리프린트arXiv (Cornell University) · 9월 16일겹치는 주제: Logic, Reasoning, and Knowledge
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4새 논문프리프린트arXiv (Cornell University) · 9월 1일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- 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