연구실 목록
David Garlan 교수 연구 프로필
카네기멜런 대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
카네기멜런 대학교 컴퓨터과학과 소속 David Garlan 교수의 등록된 연구 분야는 Programming Languages, Software Engineering, Formal Methods입니다.
연구 키워드
Programming LanguagesSoftware EngineeringFormal Methods
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Natural Language Processing Techniques
Sanmi Koyejo 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
AlphaDiana: A Measurement System for Agents in Verifiable Reasoning Tasks새 논문프리프린트arXiv (Cornell University) · 10월 14일Sergey Levine 교수 연구실
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
Long-Horizon Language Model Reinforcement Learning via Progressive Point Matching프리프린트arXiv (Cornell University) · 9월 7일Song Han 교수 연구실
매사추세츠 공과대학교 · 전기컴퓨터공학부
Parason: Revealing Subtask and Trial Parallelism in LLM Reasoning프리프린트arXiv (Cornell University) · 8월 25일
같은 학과의 다른 연구실
- Aayush Jain 교수 연구실
Theory, Cryptography
- Aditi Raghunathan 교수 연구실
Artificial Intelligence, Machine Learning
- Andrew Pavlo 교수 연구실
Systems, Databases, Distributed Systems
- Aviral Kumar 교수 연구실
Artificial Intelligence, Machine Learning, Robotics
- Chris Donahue 교수 연구실
Artificial Intelligence, Machine Learning
- Christos Faloutsos 교수 연구실
Artificial Intelligence, Systems, Databases, Data Mining