Martin Rinard

Martin Rinard is a Professor at the Massachusetts Institute of Technology (MIT), affiliated with the Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Vertical AI Community of Research and the Systems Community of Research, focusing on advancing artificial intelligence, programming languages, security, and large-scale software systems. His work emphasizes approximate computing, program repair, and deployable machine learning through initiatives like the MIT Center for Deployable Machine Learning (CDML), which ensures robust AI systems for real-world applications.

Rinard’s research spans programming languages, software engineering, and systems, with notable contributions to probabilistic programming, security protocols, and neural network verification. He has pioneered techniques for error detection, mitigation, and automated program synthesis. His recent award-winning work includes foundational advancements in program repair and approximate computing methodologies.

• Research Highlights: Program Repair, Approximate Computing, Probabilistic Programming, Cybersecurity, Machine Learning Safety, and AI-driven Systems.
• Leadership Roles: Director of MIT CDML, Leader of Vertical AI and Systems Communities at CSAIL.

Rinard’s publications reflect a focus on bridging theory and practice, with contributions to compiler optimization, secure software design, and healthcare AI applications like cancer risk prediction models. His team actively develops tools for program analysis, including KumQuat for parallel Unix pipelines and AEDAM for adaptive error detection.

• Awards: 2025 SIGSOFT Outstanding Research Award for pioneering program repair and approximate computing.
• Labs/Teams: Core member of CSAIL, CDML, and the Computation Structures Group.