About Me

I received my Master's degree in Computer Science from University of Toronto, where I advised by Professor Masrha Chechik. I presented a poster titled "Chunk-Based Software Evolution" and gave a talk in NECSIS 2014.

I got my Master's and Bachelor's degree in Computer Engineering from Shahid Beheshti University. I ranked first among all MSc students in Computer Engineering and second among all BSc student in Computer Engineering.

I am receipent of student travel award for IEEE International Conference on Big Data 2017.

Other Scholarships I've been awarded so far are: CRA-W 2017, ACM Tapia 2017, GHC 2017 and Jim Gray 2015 (sponsored by Microsoft).

I've been selected as a reviewer for GHC 2018 [data science track].



I am member of Big Data and Social Computing Lab, working under supervision of Professor Philip S. Yu.

My main research areas are Machine Learning and Data Mining.

During my master's degree at University of Toronto, I focused on data management and application of formal techniques in software engineering.



Machine Learning Research Intern, Walmart Labs, May 2018 - Present




ERX Auto-Input
M. Najafi, R. Karedla, P. Kabra, S. Roy, S. Wu, J. Zhang and S. Pahwa
The 5th Annual Walmart Data Science Conference, 2018.

Error-Robust Multi-View Clustering
M. Najafi, L. He and P. S. Yu
IEEE International Conference on Big Data, 2017.

An Animation Approach to Develop C++ Code from Object-Z Specifications
M. Najafi, and H. Haghighi
CSI International Symposium on Computer Science and Software Engineering, 2011.

An Integration of UML-B and Object-Z in Software Development Process
M. Najafi, and H. Haghighi
International Joint Conferences on Computer, Information, and System Sciences, and Engineering 2011 (CISSE 2011), Springer, 2012.

Refinement of Object-Z Specification Using Morgan's Refinement Calculus
M. Najafi, and H. Haghighi
World Academy of Science, Engineering and Technology, No. 59, pp. 1735-1744, 2011.


A Set of Refactoring Rules for UML-B Specifications
M. Najafi, H. Haghighi and T. Z. Nasab
Computing and Informatics, Vol. 35, No. 2, pp. 411-440, 2016.

A Formal Mapping from Object-Z Specification to C++ Code
M. Najafi and H. Haghighi
Elsevier Journal of Scientia Iranica, Vol. 20, No. 6, pp. 1953-1977, 2013.


Chunk-Based Software Evolution
M. Najafi, R. Salay and M. Chechik
Network for the Engineering of Complex Software-Intensive Systems for Automotive Systems, 2014.