Dr. Natash Ali Mian SCIT - BNU

Natash Ali Mian is an Associate Professor at the School of Computer & Information Technology, Beaconhouse National University (BNU), Lahore. He has been a part of BNU’s faculty since 2012 and brings over 16 years of teaching and research experience across multiple academic institutions. He has taught a diverse range of undergraduate courses, including Software Requirement Engineering, Software Quality Engineering, Database Management Systems, Software Validation & Verification, Formal Methods in Software Engineering, Advanced Database Management Systems, Human-Computer Interaction, Software Design & Architecture, ERP Systems, Operating Systems, Data Mining & Warehousing, and Business Research Methods.

His areas of expertise include software engineering, formal methods, database reverse engineering, and software quality assurance. Prior to his current role at BNU, he held teaching and research positions at The University of Lahore, University of Central Punjab, Federal Urdu University of Arts, Science & Technology, SZABIST Islamabad, Pakistan College of Science & Technology, and Pakistan International College.

In addition to teaching, he has served as an external examiner and thesis supervisor for BS and MS programs at several universities, including Lahore Garrison University, FC College Lahore, Abdul Wali Khan University, and University of Agriculture Faisalabad. He is also a reviewer for the Lahore Garrison University Research Journal of Computer Science and Information Technology (LGURJCSIT).

• PhD in Computer Science (in progress), School of Computer Science, National College for Business Administration and Economics
• MS in Computer Science, SZABIST Islamabad Campus, Islamabad
• MCS, Department of CS & IT, The University of Lahore, Lahore
• B.Sc. in Statistics, Economics, and Applied Psychology, University of the Punjab, Lahore

• Associate Professor, School of Computer & Information Technology, Beaconhouse National University (BNU), Lahore (2024–Present)
• Assistant Professor, School of Computer & Information Technology, Beaconhouse National University (BNU), Lahore (2012–2024)
• Lecturer, Department of Computer Science & IT, The University of Lahore (2010–2012)
• Visiting Faculty, Faculty of Information Technology, University of Central Punjab, Lahore (2007–2009)
• Visiting Faculty, Federal Urdu University of Arts, Science & Technology, Islamabad (2004–2006)
• Visiting Faculty, SZABIST Islamabad Campus, Islamabad (2004–2005)
• Lecturer, Pakistan College of Science and Technology, Kasur (2003–2004)
• Faculty Member, Pakistan International College, Lahore (2001–2003)

• External evaluator and thesis supervisor for BS and MS programs at Lahore Garrison University, Abdul Wali Khan University, University of Agriculture Faisalabad, and University of Central Punjab.
• Reviewer for Lahore Garrison University Research Journal of Computer Science and Information Technology (LGURJCSIT).
• Former convener of Program Team, Quality Enhancement Cell (QEC), and committee member for final project and thesis guidelines at The University of Lahore.
• Member of the academic committee for National Testing Service (NTS), contributing to curriculum review and testing standards (2014).

Journal

• Natash A. Mian, Sher A. Khan, Nazir A. Zafar. Database Reverse Engineering Methods: What is Missing? Research Journal of Recent Sciences, 2013.

International Conferences

• Waqar A. Khan, Natash A. Mian, Shahid Yousaf, Zubair Nawaz. E-Commerce in Pakistan. 11th Conference on Frontiers of Information Technology (FIT 2013), Islamabad, Pakistan, 2013.
• Natash A. Mian, Nazir A. Zafar. Key Analysis of Normalization Process using Formal Techniques in DBRE. 2nd International Conference on Computer Engineering and Applications, Bali Island, Indonesia, March 2010.
• Natash A. Mian, Nazir A. Zafar. Modeling and Formal Specification of a Database Reverse Engineering Process Using Z Notation. 9th International Pure Mathematical Conference, Islamabad, Pakistan, August 2008.
• Natash A. Mian, Tauqeer Hussain. Database Reverse Engineering Tools. 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, University of Cambridge, UK, February 2008.
• Natash A. Mian, Nazir A. Zafar. Applications of Mathematical Techniques in Software Engineering. 7th International Pure Mathematical Conference, Islamabad, Pakistan, August 2006.

National Conferences

• Natash A. Mian, Syed Hasnain H. Shah, Nazir A. Zafar. Formal Specification of Database Reverse Engineering Process Using Z Notation. Doctoral Symposium on Research in Computer Science, University of Central Punjab, Lahore, Pakistan, August 2008.
• Natash A. Mian, Nazir A. Zafar. Refinement of Railroad Crossing Problem using Formal Methods. 3rd CIIT Workshop on Research in Computing, COMSATS Wah Cant Campus, Wah Cant, Pakistan, April 2006.
• Natash A. Mian, Nazir A. Zafar. Formalizing Railroad Crossing Problem. 2nd CIIT Workshop on Research in Computing, COMSATS Lahore Campus, Lahore, Pakistan, November 2005.

• Email Address: natash.ali@bnu.edu.pk
• Ext number: 506