Mark Mazumder

Mark Mazumder
Lincoln Laboratory
Massachusetts Institute of Technology
Cyber System Assessments Group
244 Wood Street
Lexington, MA 02420-9108

Mark Mazumder joined MIT Lincoln Laboratory in 2012 and is an associate staff member in the Cyber System Assessments Group. His professional interests include interactive theorem provers with dependent types, decentralized robotics, and machine learning.






top of page