Makai Mann

Researcher, MIT Lincoln Laboratory, Massachusetts Institute of Technology

  • Joined May 2023

Names

Makai Mann (Preferred)

Emails

****@ll.mit.edu (Confirmed)
,
****@gmail.com (Confirmed)

Education & Career History

Researcher
MIT Lincoln Laboratory, Massachusetts Institute of Technology (ll.mit.edu)
2021Present
 
PhD student
Stanford University (stanford.edu)
20162021
 

Advisors, Relations & Conflicts

Coauthor
2021Present
 
Coauthor
2021Present
 
Coauthor
Ho Chit Siu
2021Present
 
Coauthor
20232023
 
Coauthor
Aina Niemetz
20202022
 
Coauthor
Mathias Preiner
20202022
 
Coauthor
20212021
 
Coauthor
Amalee Wilson
20212021
 
PhD Advisor
20162021
 
Coworker
20162019
 

Expertise

formal methods
Present
 
control theory
Present
 
robotics
Present
 
state estimation
Present
 
model checking
Present
 
reinforcement learning
Present