Yrd. Doç. Dr. Shahin Mehdipour Ataee is an Assistant Professor in the Department of Computer Engineering at the Faculty of Engineering, Final University. His research focuses on semantic web services choreography, logic programming, and formal methods in computer engineering. He holds a PhD in Computer Engineering from Eastern Mediterranean University (2018), an MSc in Software Engineering from Qazvin Azad University (2010), and a BSc in Computer Engineering from Mazandaran University of Science and Technology (2006). His work emphasizes the application of abstract state machines (ASM) and F-Logic to solve complex problems in service-oriented architectures. Notable contributions include developing algorithms for semantic web service composition and applying logic-based frameworks like Flora-2 to AI challenges such as the Wumpus World. His research also extends to video analysis for periodic activity detection. No scientific awards or grants explicitly listed in the provided information. His academic profile includes a strong focus on both theoretical advancements and practical implementations in computer science domains. Currently affiliated with Final University’s Faculty of Engineering, his educational background spans multiple institutions across different countries, reflecting a global academic trajectory. No specific labs or teams are mentioned in the current data.