About Me

My Photo

Ali A. Noroozi

PhD, Computer Science
Machine learning team lead, Python developer
aliasghar.noroozi AT gmail DOT com

I work as a machine learning team lead at Vivoo. I mostly lead computer vision tasks, such as developing and deploying ML models or developing image processing tools. I usually work with OpenCV, Colour, PyTorch, Tensorflow, SciKit-Learn, NLTK, Spacy, gensim, Amazon SageMaker, Google Vertex AI, and ONNX.

I got my Ph.D. at University of Tabriz, under supervision of Dr. Jaber Karimpour and Dr. Ayaz Isazadeh. My research interests are quantification of information leakage, secure information flow, and model checking.

I received an M.Sc. Eng. degree in Management of Information Systems from K. N. Toosi University of Technology in 2011 and a B.Sc. degree in Information Technology Engineering from Amirkabir University of Technology in 2009.

Research

My research interests are: quantification of information leakage, secure information flow, and model checking.
Some of my research papers:

2022
  • Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, Mohammadsadegh Mohagheghi: An Automated Quantitative Information Flow Analysis for Concurrent Programs. 19th International Conference on Quantitative Evaluation of Systems (QEST 2022): 43-63 (2022) [ bib | pdf ]
2021
  • Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian: Quantifying Information Leakage of Probabilistic Programs Using the PRISM Model Checker. The Fifteenth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2021): 47-52 (2021) [ bib | pdf | slides | video ] * Selected as Best Paper [ certificate ] *
2019
  • Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh: Secure information flow analysis using the PRISM model checker. The 15th International Conference on Information Systems Security (ICISS 2019): 154-172 (2019) [ bib | pdf | slides ]
  • Ali A. Noroozi, Jaber Karimpour, Ayaz Isazadeh: Information leakage of multi-threaded programs. Computers & Electrical Engineering, 78:400-419 (2019) [ bib | pdf ]
  • Ali A. Noroozi, Jaber Karimpour, Ayaz Isazadeh: Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs. Mathematical and Computational Applications (MCA) 24, 64 (2019) [ bib | pdf ]
2017
  • Ali A. Noroozi, Jaber Karimpour, Ayaz Isazadeh, Shahriar Lotfi: Verifying Weak Probabilistic Noninterference. International Journal of Advanced Computer Science and Applications (IJACSA) 8(10): 196-206 (2017) [ bib | pdf ]
2015
  • Jaber Karimpour, Ayaz Isazadeh, Ali A. Noroozi: Verifying Observational Determinism. IFIP SEC 2015: 82-93 (2015) [ bib | pdf ]
2014
  • Jaber Karimpour, Masoud Aghdasifam, and Ali A. Noroozi: Modified Bitwise Hill Crypto System. CSI Journal on Computer Science and Engineering 12(2): 11-15 (2015) [ bib | pdf ]
2013
  • Jaber Karimpour, Masoud Aghdasifam, and Ali A. Noroozi: Modified Bitwise Hill Crypto System. The 2013 CSI International Symposium on Computer Science and Software Engineering (CSSE 2013) [ bib | pdf ]
  • Jaber Karimpour, Robab Alyari, Ali A. Noroozi: Formal Framework for Specifying Dynamic Reconfiguration of Adaptive Systems. IET Software 7(5): 258-270 (2013) [ bib | pdf ]
2012
  • Jaber Karimpour, Ali A Noroozi, Adeleh Abadi: The Impact of Feature Selection on Web Spam Detection. International Journal of Intelligent Systems and Applications 4(9): 61-67 (2012) [ bib |  pdf ]
  • Jaber Karimpour, Ali A Noroozi, Somayeh Alizadeh: Web Spam Detection by Learning from Small Labeled Samples. International Journal of Computer Applications 50(21) (2012) [ bib | pdf ]

Tools

I am the main developer and maintainer of the following tool:

Teaching

Since 2011 I have been teaching 2-3 courses each semester at University of Tabriz, Islamic Azad University (Shabestar Branch), University of Applied Science and Technology (UAST), and University College of Daneshvaran.

Spring semester 2019
  • Algorithm Design: UAST
  • Switching & Routing in LANs (CCNA+Mikrotik): UAST
Fall semester 2018
  • Computer Security: UAST
  • Linux Lab: UAST
Spring semester 2018
  • Computer Networking: UAST
  • Switching & Routing in LANs (CCNA+Mikrotik): UAST
Fall semester 2017
  • Computer Security: UAST
  • Linux Lab: UAST
Spring semester 2017
  • Computer Networking: UAST
  • Switching & Routing in LANs (CCNA+Mikrotik): UAST
Fall semester 2016
  • Computer Security: UAST
  • Linux Lab: UAST
Spring semester 2016
  • Advanced Software Engineering (Formal Methods and Verification): Azad University
  • Discrete Mathematics: UAST
Fall semester 2015
  • Advanced Software Engineering (Formal Methods and Verification): Azad University
  • Computer Networking: University of Tabriz
  • Switching & Routing in LANs (CCNA+Mikrotik): UAST
Spring semester 2015
  • Advanced Software Engineering (Formal Methods and Verification): Azad University
  • Advanced Programming (Java): University of Tabriz
Fall semester 2014
  • Advanced Software Engineering (Formal Methods and Verification): Azad University
  • Computer Networking: University of Tabriz
Spring semester 2014
  • Advanced Programming (Java): University of Tabriz
  • English for Computer Science: Daneshvaran
Fall semester 2013
  • Computer Networking: University of Tabriz
  • Internet Engineering (TCP/IP): Daneshvaran
Spring semester 2013
  • Advanced Programming (Java): University of Tabriz
  • English for Computer Science: Daneshvaran
Fall semester 2012
  • Introduction to Programming (C): University of Tabriz
  • Internet Engineering (TCP/IP): Daneshvaran
Spring semester 2012
  • Internet Engineering (TCP/IP Protocols): Daneshvaran
  • English for Computer Science: Daneshvaran
Fall semester 2011