I am working at 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.

I am currently working on Multi-View Clustering.

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.

You can find more about me in my CV




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

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

An Integration of UML-B and Object-Z in Software Development Process
Najafi M., and Haghighi H.
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
Najafi M., and Haghighi H.
World Academy of Science, Engineering and Technology, No. 59, pp. 1735-1744, 2011.


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

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


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