SCIT faculty member Mr. Natash Ali Mian successfully defended his PhD thesis titled "Agent based Modeling and Analysis of Self-Adaptive Systems using Formal Methods" on the 27th of February 2019, and has been awarded a doctorate degree in Computer Science. His area of research fall in the Software Engineering domain of Computer Science. He was supervised by Dr. Farooq Ahmad and co-supervised by  Dr. Sagheer Abbas. While completing the thesis, Mr. Natash wrote six journal and two conference papers, all of which were presented at prestigious forums.