🧍 Dr. Marjan Sirjani
👨‍💼 Professor @ Mälardalen University

✒️ Educational Background | تحصیلات آکادمیک
    🔹 BSc: Computer Engineering - Shahid Beheshti University
    🔹 MSc: Computer Engineering - Sharif University of Technology
    🔹 PhD: Computer Engineering - Sharif University of Technology

📄 Scientific Background | سوابق علمی
    🔸 PostDoc @ CWI, Amsterdam
    🔸 Professor @ Reykjavik University
    🔸 Assistant Professor @ University of Tehran
    🔸 Founder and leader of Formal Methods Laboratory @ University of Tehran
    🔸 Head of Software Engineering Department @ University of Tehran

🌐 Home Page | 🌐 LinkedIn | 🌐 Google Scholar

📌 Presentation Title | عنوان ارائه
➡️ Formal Verification and Test Design for Distributed Redundant Controllers

🅰️ Language: Persian | فارسی

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

#️⃣ Formal Verification
#️⃣ Actor-based languages
#️⃣ Distributed Controllers
#Speakers

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