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

Broadly speaking, I am interested in Data Mining, Machine Learning and Software Engineering.

During my master's degree in Computer Science at University of Toronto, I did reserach on software evolution and data science. My thesis is on how to extract a portion (or slice) of a model of system with respect to requirement of interest. I also extended iBench (big data integration benchmark) to generate random inclusion dependecnies.

As a master's student in Computer Engineering in Shahid Beheshti University, I worked on formal methods to map object-oriented formal specifications to object-oriented and non object-oriented code. I also proposed a set of refactoring rules for UML-B (a UML-like formal specification language), which improve and assist the derivation of object-oriented design from an abstract specification written in UML-B.


About Me

I am receipent of Scholarship for CRA-W 2017, ACM Tapia 2017, GHC 2017 and Jim Gray Scholarship in 2015 (sponsored by Microsoft).

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.




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.