Dr. Atif Mashkoor

atif.mashkoor@spcai.paf-iast.edu.pk
+43 732 2468 4391

Dr. Atif Mashkoor

Foreign Faculty / Managing Director

Biography

Dr. Mashkoor is the founding Managing Director at Sino-Pak Center for Artificial Intelligence and a Foreign Faculty member at Pak-Austria Fachhochschule – Institute of Applied Sciences & Technology, Haripur, Pakistan. He is also a Senior Research Scientist at LIT Secure and Correct Systems Lab and at Institute for Software Systems Engineering, Johannes Kepler University Linz, Austria. Dr. Mashkoor has spent a considerable amount of time (2011 – 2020) in industry working on several European-level research and development projects. He was the Scientific Head at Software Competence Center Hagenberg GmbH, the Austrian center of excellence in data and software science, from 2012 – 2017. He holds Ph.D. from University of Lorraine, France, and M.S. from University of Umeå, Sweden in Computer Science. Additionally, He has studied Computational Linguistics at Rovira i Virgili University, Spain.

Professional Appointments

  • Managing Director Sino-Pak Center for Artificial Intelligence, Haripur, Pakistan, Oct 2020 to Present
  • Foreign Faculty PAF-IAST, Haripur, Pakistan, Oct 2020 to Present
  • Senior Research Scientist LIT Secure & Correct Systems Lab, Linz, Austria, Feb 2019 - Present
  • Senior Research Scientist Johannes Kepler University, Linz, Austria, Nov 2017 - Present

Education

  • Ph.D. in Computer Science INRIA/LORIA, University of Lorraine, Nancy, France, July 2011
  • Postgraduate Studies in Computational Linguistics GRLMC, Rovira i Virgili University, Tarragona, Spain,December 2006
  • M.S. in Computer Science Umeå University, Umeå, Sweden, June 2004

Publications

  • The primary market value innovations of newly public firms
  • Auditor Tenure and Quality of Financial Report
  • Unexpected Fees and the Prediction of Material Weaknesses

Research Interests

  • AI-Inspired Software Engineering

  • Functional Safety & Cybersecurity

  • IoT

  • Logical Foundations of Cyber-Physical Systems

  • Logics, Formalisms & Rigorous Methods

  • Model-Driven Engineering & Architecture