Prof. M. Frans Kaashoek — Research Profile
Massachusetts Institute of Technology · Department of Electrical Engineering and Computer Science
About
Prof. M. Frans Kaashoek at Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science lists Computer Architecture, Security as their registered research area.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Clark Barrett 교수 연구실
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanNewOAPEN (The OAPEN Foundation) · Sep 1Shared topic: Logic, programming, and type systems
John Mitchell 교수 연구실
Stanford University · Computer Science
Tracking Borrows with Regular ExpressionsProceedings of the ACM on Programming Languages · Oct 1Shared topic: Logic, programming, and type systems
Andrew Ilyas 교수 연구실
Carnegie Mellon University · Electrical and Computer Engineering
Corrupt Plans, Clean Traces: Evading Chain-of-Thought Monitoring with Plan InjectionPreprintarXiv (Cornell University) · Sep 14Shared topic: Security and Verification in Computing
Other labs in this department
- 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