I am a lecturer (assistant  professor) in the school of computing at Newcastle university. Before this position, I was a lecturer at Edinburgh Napier university working on cybersecurity in distributed systems [Mar 2021 - Oct 2021]. I have also worked as a Postdoctoral research associate in the school of computer science and informatics at Cardiff university from Nov 2018 to Mar 2021. My Postdoc research concentrated on developing a Blockchain-based platform for improving data privacy and security in Cloud and IoT ecosystems. 

I got my PhD in computer science from Sherbrooke university in Canada [Jan 2015 - May 2018].  In my PhD research project, a framework was developed in which the automatic composition of dynamic software components has been provided by using a formal method. The framework permitted the realization of a new behavior from a set of available behaviors, through the synthesis of a controller, which delegates each action of the new behavior to an available behavior for execution.

My research interests are:

1. Distributed systems
2. Blockchain and smart contracts
3. Formal methods and verification
4. Semantic and ontology
5. Service discovery and composition
6. Cybersecurity
   

• Barati M, Rana O. Checking GDPR Compliance for Cloud-based Services. In: IEEE World Congress on Services. 2021, Virtual: IEEE.
• Barati M, Rana O. Design and Verification of Privacy Patterns for Business Process Models. In: Patnaik S; Wang T-S; Panigrahi SK, ed. Blockchain Technology and Innovations in Business Processes. Berlin: Springer, 2021, pp.125-139.
• Marikyan D, Llanos J, Barati M, Aujla G, Li Y, Duodu KA, Tahir S, Rana O, Papagiannidis S, Ranjan R, Car M. Privacy & Cloud Services: Are We There Yet?. In: IEEE International Conference on Service-Oriented System Engineering. 2021, IEEE.
• Aljeraisy A, Barati M, Rana O, Perera C. Privacy Laws and Privacy by Design Schemes for the Internet of Things: A Developer’s Perspective. ACM Computing Surveys 2022, 54(5), 1-38.
• Barati M, Aujla GS, Llanos JT, Duodu KA, Rana OF, Carr M, Ranjan R. Privacy-Aware Cloud Auditing for GDPR Compliance Verification in Online Healthcare. IEEE Transactions on Industrial Informatics 2021, 18(7), 4808-4819.
• Barati M. A Formal Technique for Composing Cloud Services. Information Technology and Control 2020, 49(1).
• Barati M, Theodorakopoulos G, Rana O. Automating GDPR compliance verification for cloud-hosted services. In: International Symposium on Networks, Computers and Communications (ISNCC 2020). 2020, Montreal, QC, Canada: IEEE.
• Petri I, Barati M, Rezgui Y, Rana OF. Blockchain for energy sharing and trading in distributed prosumer communities. Computers in Industry 2020, 123, 103282.
• Seifikar M, Farzi S, Barati M. C-blondel: An efficient louvain-based dynamic community detection algorithm. IEEE Transactions on Computational Social Systems 2020, 7(2), 308-318.
• Aujla GS, Barati M, Rana O, Dustdar S, Noor A, Llanos JT, Carr M, Marikyan D, Papagiannidis S, Ranjan R. COM-PACE: Compliance-Aware Cloud Application Engineering Using Blockchain. IEEE Internet Computing 2020, 24(5), 45-53.
• Aljeraisy A, Barati M, Rana O, Perera C. Exploring the relationships between privacy by design schemes and privacy laws: a comparative analysis. Cardiff: Cardiff University, 2020.
• Barati M, Rana O, Petri I, Theodorakopoulos G. GDPR Compliance Verification in Internet of Things. IEEE Access 2020, 8, 119697 - 119709.
• Barati M, Rana O. Privacy‐aware cloud ecosystems: Architecture and performance. Concurrency and Computation Practice and Experience 2020, 33(23), e5852.
• Barati M, Rana O. Tracking GDPR Compliance in Cloud-based Service Delivery. IEEE Transactions on Services Computing 2020, epub ahead of print.
• Barati M, Petri I, Rana OF. Developing GDPR compliant user data policies for Internet of things. In: 12th IEEE/ACM International Conference on Utility and Cloud Computing (UCC '19). 2019, Auckland, New Zealand: ACM.
• Barati M, Rana O. Enhancing User Privacy in IoT: Integration of GDPR and Blockchain. In: First International Conference, BlockSys 2019. 2019, Guangzhou, China: Springer.
• Barati M, Rana O, Theodorakopoulos G, Burnap P. Privacy-aware cloud ecosystems and GDPR compliance. In: 7th International Conference on Future Internet of Things and Cloud (FiCloud 2019). 2019, Istanbul, Turkey: IEEE.
• Barati M, St-Denis R. Team formation through preference-based behavior composition. In: 15th German Conference, MATES 2017. 2017, Leipzig, Germany: Springer.
• Barati M, St-Denis R. Behavior composition meets supervisory control. In: IEEE International Conference on Systems, Man, and Cybernetics. 2015, Hong Kong: IEEE.
• Barati M, St-Denis R. A semantic-based flexible framework for automatic behavior composition. In: Internet Technologies and Applications (ITA 2015). 2015, Wrexham, UK: IEEE.
• Barati M, St-Denis R. An architecture for semantic service discovery and realizability in cloud computing. In: 6th International Conference on the Network of the Future. 2015, Montreal: IEEE.
• Barati M, St-Denis R. Optimal control in a value-based automatic behavior composition framework. In: 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT 2015). 2015, Brno, Czech Republic: IEEE.
• Barati M, Lotfi S, Rahmati A. A fault tolerance algorithm for resource discovery in semantic grid computing using task agents. Journal of Software Engineering and Applications 2014, 7(4).
• Barati M, Alizadeh R. A new method for resource discovery in a grid resource service chain. International Journal of Grid and Distributed Computing 2014, 7(2), 21-32.
• Barati M, Khaksar MS, Lotfi S, Rahmati A. A new semantic role-based access control model for cloud computing. In: 9th International Conference on Internet and Web Applications and Services ICIW 2014. 2014, Paris, France: ThinkMind.
• Asgari C, Torkashv RR, Barati M. A learning automata-based algorithm using stochastic minimum spanning tree for improving life time in wireless sensor networks. International Journal of Physical Sciences 2013, 8.
• Barati M, Sajadi J, Motaei A, Ranjbar S, Ranjbar S. Secure Data Aggregation Using Distributed Learning Automata in Wireless Sensor Networks. Journal of Convergence Information Technology 2013, 8.
• Barati M, Akbari E. A Backbone Formation And Learning Automata-Based Algorithm for Improving Life Time in Wireless Sensor Networks. Journal of Next Generation Information Technology 2012, 3.
• Esfandyari A, Barati M. A new semantic service discovery in service oriented architecture. International Journal of Computational Intelligence and Information Security 2012, 3.
• Barati M, Fasaei MSK. An agent-based and semantic service oriented approach for service discovery in Network Centric Warfare (NCW). International Journal of Computer Science Issues 2011, 8.
• Rahimzadeh P, Barati M, Alizadeh R. A new semantic-supported and agent-based decentralized algorithm for resource discovery in economic grid. In: 3rd International Conference on Advanced Computer Theory and Engineering. 2010, IEEE.