Manoj Dixit is a Principal Software Engineer at The MathWorks, where they focus on developing methods and tools for the verification and validation of control software. They previously held roles as a Senior Research Associate at Sasken Communication Technologies Ltd and as a Research Associate at the Indian Institute of Technology, Bombay. Manoj also served as Lab Group Manager in Rigorous Control Software Validation at the India Science Lab, GM R&D, and worked as a Senior Researcher in Formal Methods for Embedded Systems at the same organization. Manoj holds a Ph.D. in Computer Science from the Indian Institute of Technology, Kharagpur.
This person is not in the org chart
This person is not in any offices