معرفی
Ali Mili is Professor in the Department of Computer Science at New Jersey Institute of Technology's Ying Wu College of Computing. With an h-index of 20 and over 2,095 citations, he maintains a robust research profile spanning software engineering, formal methods, and cybersecurity. His work focuses on software verification, testing methodologies, and secure computing paradigms.
Research interests center on enhancing software reliability through innovative approaches to program correctness, fault detection, and quality assurance. Recent publications demonstrate persistent exploration of formal verification techniques and testing frameworks, with emerging emphases on secure coding practices.
Honors include:
- 3M National Teaching Fellow (2014)
- Fellow of International Society for the Scholarship of Teaching and Learning (2020)
- Fellow of the Royal Canadian Geographical Society (2013)
He leads significant federally funded initiatives including the CyberCorps Scholarship for Service program and international collaborations like the Qatari Contribution to the Verified Software Initiative, advancing secure computing education and research infrastructure.
