میثم کریمی
دکترا
شروع دوره: مهرماه 1396پایان دوره: بهمنماه 1402
عنوان پاياننامه: چارچوبی جهت توليد مدل در آزمون تبديل مدل با استفاده از الگوريتمهای فراابتكاری
استاد راهنما: دکتر شکوفه کلاهدوز رحیمی استاد مشاور: دکتر خاویر ترویا
بیشتر
معرفی کوتاه:
میثم کریمی دانشجوی دکترای مهندسی کامپیوتر گرایش نرمافزار در دانشگاه اصفهان است. او مدرک کارشناسی ارشد خود را در سال 1394 در رشتهی مهندسی کامپوتر گرایش نرمافزار از دانشگاه کاشان دریافت نموده است. وی در آزمون دکترای تخصصی سال ۹۶، حائز رتبهی 20 کشوری (۰.۵ درصد برتر آزمون سراسری) شد. او به مباحث مهندسی نرمافزار مدلرانده، الگوریتمها و زبانهای برنامهنویسی علاقهمند است. زمینهی تحقیقاتی ایشان در حال حاضر بر روی الگوریتمهای فراابتکاری متمرکز است. او هماکنون عضو گروه پژوهشی مهندسی نرمافزار مدلرانده تحت نظر دکتر شکوفه کلاهدوز رحیمی است.
مقالههای انگلیسی
- Ant-colony optimization for automating test models generation in model transformation testing
- A comparison of quality flaws and technical debt in model transformation specifications
- Technical debt in procedural model transformation languages
- Solving the Quality-based Software-Selection and Hardware-Mapping Problem with ACO