Atif Mashkoor
Scholar

Atif Mashkoor

Google Scholar ID: 2jWaZr0AAAAJ
Johannes Kepler University, Linz, Austria
AI-driven software engineeringRequirements engineeringFormal methodsFormal validation
Citations & Impact
All-time
Citations
1,029
 
H-index
17
 
i10-index
32
 
Publications
20
 
Co-authors
16
list available
Contact
No contact links provided.
Resume (English only)
Academic Achievements
  • Authored more than 100 publications, earning over 1,400 citations and recognition at multiple conferences and in major journals. Active in the international software engineering, requirements engineering, and formal methods communities, serving as a program committee member, conference organizer, and reviewer for prominent journals.
Research Experience
  • - Requirements & Process Manager at Fronius International
  • - Founding Managing Director of the Sino-Pak Center for AI
  • - Scientific Head at the Software Competence Center Hagenberg
  • - Adjunct Faculty member at the International Center for Chemical and Biological Sciences (ICCBS)
Education
  • - Doctorate of Science (Habilitation) in Software Engineering from Johannes Kepler University, Austria
  • - Doctorate of Philosophy (Ph.D.) in Computer Science from the University of Lorraine, France
  • - Master of Science (M.S.) in Computer Science from Umeå University, Sweden
  • - Studied Computational Linguistics at Universitat Rovira i Virgili, Spain
Background
  • Research interests include Requirements Engineering, Formal Methods, and AI-driven Software Engineering. Specializes in Rigorous Model-Driven Engineering of Software-intensive Safety-critical Systems.