연구실 목록
Sheila McIlraith 교수 연구 프로필
토론토 대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
토론토 대학교 컴퓨터과학과 소속 Sheila McIlraith 교수의 등록된 연구 분야는 knowledge representation and reasoning입니다.
연구 키워드
knowledge representation and reasoning
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Formal Methods in Verification
Werner Dietl 교수 연구실
워털루 대학교 · 전기컴퓨터공학과
Transitive, Abstract, and Class Polymorphic ImmutabilityProceedings of the ACM on Programming Languages · 10월 1일Ivan Beschastnikh 교수 연구실
브리티시컬럼비아 대학교 · 컴퓨터과학과
Substep Linearizability: Relaxing Atomicity While Preserving Sequential Specification새 논문프리프린트arXiv (Cornell University) · 10월 12일Ashvin Goel 교수 연구실
토론토 대학교 · 전기컴퓨터공학과
Don't Trust the Code, Check Its Effects: Runtime Refinement for Regenerated Systems Code Under an Adversarial Generator프리프린트arXiv (Cornell University) · 8월 31일
같은 학과의 다른 연구실
- Alán Aspuru-Guzik 교수 연구실
machine learning, quantum computing, robotics, high-performance computing
- Alec Jacobson 교수 연구실
computer graphics
- Aleksandar Nikolov 교수 연구실
theoretical computer science, algorithms, differential privacy
- Allan Borodin 교수 연구실
theoretical computer science
- Angela Brown 교수 연구실
systems
- Anna Goldenberg 교수 연구실
computational biology