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 teams
This person is not in any offices