Makai Mann (Preferred)
Makai Mann
Researcher, MIT Lincoln Laboratory, Massachusetts Institute of Technology
Joined
May 2023
Names
Emails
****@ll.mit.edu (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
MIT Lincoln Laboratory, Massachusetts Institute of Technology (ll.mit.edu)
2021 – Present
PhD student
Stanford University (stanford.edu)
2016 – 2021
Advisors, Relations & Conflicts
Coauthor
Ho Chit Siu
2021 – Present
Coauthor
Aina Niemetz
2020 – 2022
Coauthor
Mathias Preiner
2020 – 2022
Coauthor
Amalee Wilson
2021 – 2021
Expertise
formal methods
Present
control theory
Present
robotics
Present
state estimation
Present
model checking
Present
reinforcement learning
Present