سيد مهدي سجادي

عضو هیات علمی دانشگاه بین المللی امام خمینی قزوین

دانشجوی دکتری روزانه مهندسي كامپيوتر (نرم‌افزار)

آدرس ايميل: آدرس ایمیل جهت جلوگیری از رباتهای هرزنامه محافظت شده اند، جهت مشاهده آنها شما نیاز به فعال ساختن جاوا اسكریپت دارید

آدرس پستی: مشهد– دانشگاه فردوسی مشهد– دانشکده مهندسی– گروه مهندسی کامپیوتر- سید مهدی سجادی

sajjadi

 

كارشناسي (روزانه):    رياضي (كاربردي)       دانشگاه صنعتي اصفهان

عنوان پروژه كارشناسي: نظريه رمزي و كاربردهاي آن  

Ramsey Theory and Applications

كارشناسي ارشد (روزانه):   مهندسي كامپيوتر (نرم‌افزار) دانشگاه تربيت مدرس

عنوان پايان‌نامه كارشناسي ارشد: وارسي رسمي پروتكل‌هاي تصديق اصالت با رويكرد منطق زماني

Formal Verification of Authentication Protocols Using Temporal Logic

 دکتری تخصصی (روزانه): مهندسی کامپیوتر (نرم افزار) دانشگاه فردوسی مشهد - ورودی 1391

 

سوابق پژوهشي:

مقاله با عنوان «وارسی پروتکل های امنیتی با رویکرد منطق زمانی PS-LTL» ارائه شده به صورت سخنراني در سومين كنفرانس بين‌المللي فناوری اطلاعات و دانش IKT، دانشگاه فردوسی مشهد، 1386.

مقاله با عنوان «گسترش روش حل قیود در تحلیل پروتکلهای امنیتی با قابلیت رمزگذاری جابجاپذیر» ارائه شده به صورت سخنراني در پنجمين کنفرانس بین المللی انجمن رمز ايران، دانشگاه صنعتی مالك اشتر، 1387.

مقاله پذیرفته شده و ارسال شده برای چاپ با عنوان «گسترش روش حل قیود در تحلیل پروتکل های امنیتی با قابلیت رمزگذاری جابجاپذیر» در تاریخ Mon, 25 Jul 2011 در مجله علمی پژوهشی (CSI Journal on Computer Science and Engineering).

مقاله ای با عنوان «روشی نو در کشف حمله Sybil در شبکه های VANET» در دست انتشار

 

سوابق آموزشي و کاری:

همكاري با گروه آموزشي اشراف

گذراندن دروس مدرسي دانشگاه تربيت مدرس

همکاری با بنیاد ملی نخبگان از 1386 تا 1387

تدریس در دانشگاه پیام نور استهبان-نیمسال دوم 88-87 تا قبل از قبولی در مقطع دکتری (دروس کارشناسی)

     دروس: مبانی کامپیوتر، مدار منطقی، ساختمان های گسسته، طراحی الگوریتم، هوش مصنوعی

تدریس در دانشگاه دولتی فسا - نیمسال اول 89-88 تاقبل از قبولی در مقطع دکتری (دروس کارشناسی)

     دروس: مبانی کامپیوتر، برنامه سازی پیشرفته، ساختمان های داده، ساختمان گسسته، محاسبات عددی

تدریس در دانشگاه فردوسی مشهد به عنوان همکار استاد (TA) – نیمسال دوم 92-91 (دروس کارشناسی ارشد)

   دروس: شبکه های کامپیوتری پیشرفته، امنیت شبکه های کامپیوتری

افتخارات: دریافت لوح تقدیر به مناسبت روز معلم دانشگاه فسا، اردیبهشت 90

همکاری در تیم فنی و اجرایی برگزاری کنفرانس مجازی ICCKE2012

داوری مقالات کنفرانس مجازی ICCKE2013

عضو هیات علمی دانشگاه بین المللی امام خمینی قزوین

 

آشنايي با نرم‌افزارها:

سيستم‌هاي عامل: ويندوز و لينوكس Fedora، Redhat، SUSE، و ...

زبان‌هاي برنامه ‌نويسي: C، C++، C#، Java، Pascal، Maude، Curry، TOY، Maple، Prolog، و ...

بسياري از نرم‌افزارهاي كاربردي ديگر

 

پروژه‌هاي نرم‌افزاري انجام شده:

1) تحليل، طراحي و پياده‌سازي سيستم خبره‌اي براي محاسبه سهم ورثه از تركه

2) تحليل سيستم ثبت نام دانشجويان فوق دكتري دانشگاه تربيت مدرس

3) تحليل سيستم پژوهش دانشكده فني و مهندسي دانشگاه تربيت مدرس

4) پياده‌سازي سيستم وارسي‌گر پروتكل‌هاي امنيتي با پشتيباني از منطق زماني و عمليات جبري TOY-CS

بازدید ها : 798
 

Seminars

barname

آمار بازدیدکنندگان


بازدید امروز
30
بازدید دیروز
28
بازدید این هفته
58
بازدید این ماه
123
بازدید کل
666
 
  • CNSCE 2014

    Computer, Network Security and Communication Engineering

  • Computer Society Of Iran

    بیستمین کنفرانس ملی سالانه انجمن کامپیوتر ایران

  • Ferdowsi University of Mashhad

    ICCNSCE 2015 : XIII International Conference on Computer, Network Security and Communication Engineering

  • SPTM 2014

    Second International Conference of Security, Privacy and Trust Management (SPTM 2014)

  • NETCOM - 2014

    Sixth International Conference on Networks & Communications

  • NWCOM-2015

    International Conference on Networks & Communications

  • (NCS - 2014)

    Sixth International Conference on Network & Communications Security