연구실 목록
John Mitchell 교수 연구 프로필
스탠퍼드 대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
스탠퍼드 대학교 컴퓨터과학과 소속 John Mitchell 교수의 등록된 연구 분야는 Security, Formal Methods입니다.
연구 키워드
SecurityFormal Methods
최근 논문
- Tracking Borrows with Regular ExpressionsProceedings of the ACM on Programming Languages · 10월 1일
- How AI Coders Discuss, Disagree, and Reach Consensus: Challenges and Opportunities for LLM-Based Qualitative Coding새 논문프리프린트arXiv (Cornell University) · 9월 10일
- Social Skill Training With Large Language Models새 논문IEEE Intelligent Systems · 9월 1일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Sergey Levine 교수 연구실
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
One Frozen Simulator Is Not Enough: Simulator Collapse in Multi-Agent RL프리프린트arXiv (Cornell University) · 8월 12일겹치는 주제: Intelligent Tutoring Systems and Adaptive Learning
ChengXiang Zhai 교수 연구실
일리노이 대학교 어배너-섐페인 · 컴퓨터과학과
StudentSim: Training LLM-based Student Simulators프리프린트arXiv (Cornell University) · 9월 1일겹치는 주제: Intelligent Tutoring Systems and Adaptive Learning
Dirk Englund 교수 연구실
매사추세츠 공과대학교 · 전기컴퓨터공학부
AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics새 논문프리프린트arXiv (Cornell University) · 9월 4일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- Adam Bouland 교수 연구실
Theoretical Computer Science
- Alex Aiken 교수 연구실
Theoretical Computer Science
- Anshul Kundaje 교수 연구실
Computational Biology
- Azalia Mirhoseini 교수 연구실
Machine Learning
- Balaji Prabhakar 교수 연구실
Networks
- Carlos Guestrin 교수 연구실
Machine Learning