연구실 목록
M. Frans Kaashoek 교수 연구 프로필
매사추세츠 공과대학교 · 전기컴퓨터공학부
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
매사추세츠 공과대학교 전기컴퓨터공학부 소속 M. Frans Kaashoek 교수의 등록된 연구 분야는 Computer Architecture, Security입니다.
연구 키워드
Computer ArchitectureSecurity
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
CSLib: Building a Platform for AI-assisted Formal Verification in Lean새 논문OAPEN (The OAPEN Foundation) · 9월 1일겹치는 주제: Logic, programming, and type systems
John Mitchell 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Tracking Borrows with Regular ExpressionsProceedings of the ACM on Programming Languages · 10월 1일겹치는 주제: Logic, programming, and type systems
Andrew Ilyas 교수 연구실
카네기멜런 대학교 · 전기컴퓨터공학과
Corrupt Plans, Clean Traces: Evading Chain-of-Thought Monitoring with Plan Injection프리프린트arXiv (Cornell University) · 9월 14일겹치는 주제: Security and Verification in Computing
같은 학과의 다른 연구실
- Adam Chlipala 교수 연구실
Programming Languages, Security
- Aleksander Mądry 교수 연구실
AI and Society, Machine Learning
- Anantha Chandrakasan 교수 연구실
Machine Learning, Electronics
- Ankur Moitra 교수 연구실
Machine Learning, Theory
- Arvind Satyanarayan 교수 연구실
Machine Learning, Human-Computer Interaction
- Asu Ozdaglar 교수 연구실
AI and Society, Optimization