🧍 Dr. Ali Ebnenasir
👨‍💼 Associate Professor @ Michigan Technological University

✒️ Educational Background | تحصیلات آکادمیک
    🔹 BSc: Computer Engineering - University of Isfahan
    🔹 MSc: Software Engineering - Iran University of Science and Technology
    🔹 PhD: Computer Science - Michigan State University

📄 Scientific Background | سوابق علمی
    🔸 Postdoctoral researcher @ the Software Engineering and Network Systems Laboratory at Michigan State University
    🔸 Nominated for the ACM Doctoral Dissertation Award in 2005
    🔸 Published numerous papers @ IEEE Transaction on Dependable and Secure Computing (TDSC), ACM Transactions on Software Engineering and Methodology (TOSEM), ACM Transactions on Autonomous and Adaptive Systems (TAAS)

🌐 Home Page | 🌐 LinkedIn | 🌐 Google Scholar

📌 Presentation Title | عنوان ارائه
➡️ Developing Dependable and Scalable Coordination Protocols: From Theory to Practice

🅰️ Language: Persian | فارسی

📜 Presentation Abstract | خلاصۀ ارائه

#️⃣ Distributed algorithms
#️⃣ Fault tolerance
#️⃣ Verification and Synthesis
#Speakers

💠💠💠💠💠💠💠💠💠💠
🌐https://WSS-Sharif.com
🌐Instagram 💠🌐LinkedIn
🌐Youtube    💠🔗X
☃️@WSS_SUT