Research

I am working at Big Data and Social Computing Lab (http://bdsc.lab.uic.edu) 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.

Next

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

Next

Publications

Conferences

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.

Journals

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.

Poster

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