دکتر مهران علیدوست نیا
استادیار دانشکده مهندسی کامپیوتر
مهران علیدوست نیا در حال حاضر استادیار دانشکده مهندسی کامپیوتر و فناوری اطلاعات در دانشگاه شهید بهشتی تهران است. وی مدرک دکترای خود را در رشته مهندسی نرمافزار از دانشگاه تهران دریافت کرده است.
پژوهش او در مقطع دکتری بر تحلیل احتمالی سیستمهای خودتطبیق و خودمختار متمرکز بود که تحت راهنمایی دکتر مهدی کارگاهی (دانشگاه تهران) و دکتر آلساندرو آباته (دانشگاه آکسفورد) انجام شد. او همچنین سابقه همکاری با برنامه بینالمللی Assuring Autonomy (AAIP) در دانشگاه یورک بریتانیا را در کارنامه دارد.
او به عنوان مدیر ارشد فناوری، استراتژیست IT و معمار نرمافزار، تجربیات گستردهای در مدیریت پروژههای بزرگ نرمافزاری و صنعتی دارد و در تلاش است تا تجربیات صنعت را به محیط آکادمیک منتقل کند.
علایق پژوهشی
سیستمهای خودتطبیق و خودمختار
Self-Adaptive and Autonomous Systems
امنیت اطلاعات
Information Security
درستییابی صوری
Formal Verification
مهندسی نرمافزار
Software Engineering
تجربه صنعتی و حرفهای
- مدیر ارشد فناوری (CTO) و استراتژیست فناوری اطلاعات در پروژههای بزرگ.
- معمار نرمافزار با تخصص در طراحی سیستمهای مقیاسپذیر و ایمن.
- همکاری با برنامه بینالمللی Assuring Autonomy (AAIP) دانشگاه یورک (2020 - 2023).
- توسعه راهکارهای فناوری اطلاعات تجاری و صنعتی.
- پیادهسازی زیرساختهای شبکه و نرمافزار در صنعت خودرو.
فعالیتهای علمی اخیر
کمیته علمی/فنی کنفرانسها:
- SEAMS 2026 (PC)
- PLDI 2025 (AEC)
- ARTMAN 2024 @ACSAC 2024 (PC)
- ECOOP 2024 (ERC)
داوری مجلات:
- Computers & Security (Top Reviewer)
- IEEE Transactions on Dependable and Secure Computing (Actively Reviewing)
- IEEE Transactions on Information Forensics and Security (Actively Reviewing)
- Systems and Software (Actively Reviewing)
- IET Software