دکتر رضا رافع - resume


نام و نام خانوادگی

رضا رافع

رتبه علمی

استادیار

پست الکترونیکی

r-rafeh@araku.ac.ir

تلفن

2625005

 
دانشگاههای محل تحصیل
دکتری دانشگاه موناش، ملبورن، استرالیا
کارشناسی ارشد دانشگاه صنعتی شریف
کارشناسی دانشگاه صنعتی شریف
   
عناوین و افتخارات
  1. دریافت جایزه بهترین پوستر در کنفرانس CP2008.
  2. رتبه 4 کنکور ریاضی در منطقه 2 و رتبه 21 کل کشور، 1371.
  3. نفر اول المپیاد ریاضی در استان همدان، 1370.
  4. نفر دوم المپیاد ریاضی در استان همدان، 1369.
  5. نفر اول مسابقات درسی در استان همدان، 1368.
  6. نفر دوم در آزمون ورودی دبیرستان نمونه سیفیه ملایر، 1367.
  7. نفر دوم مسابقات درسی شهرستان ملایر، 1366.
  8. نفر اول مسابقات درسی شهرستان ملایر، 1364.
  9. نفر سوم مسابقات درسی شهرستان ملایر، 1363.
زمینه های تخصصی
  1. اثبات خودکار قضایا
  2. مدلسازی مسائل ترکیباتی و بهینه سازی
  3. برنامه سازی با محدودیتها، نظریه زبانها و اصول کامپایلرها
فعالیتهای اجرایی
  1. مدیریت گروه خدمات ماشینی دانشگاه اراک، بهمن 1377 تا مهر 1378.
  2. مدیریت گروه مهندسی کامپیوتر دانشگاه اراک، دی 1381 تا مرداد 1383.
  3. مدیریت گروه مهندسی کامپیوتر دانشگاه اراک، دی 1387 تا شهریور 1389.
  4. معاونت آموزشی و پژوهشی دانشکده فنی و مهندسی دانشگاه اراک، شهریور 1389 تا شهریور 1390.
  5. ریاست دانشکده فنی و مهندسی دانشگاه اراک، شهریور 1390 تا خرداد 1391.
  6. معاونت آموزشی دانشگاه اراک، خرداد 1390 تا کنون.
تجربیات تخصصی
     
پروژه های صنعتی برون دانشگاهی تاریخ  محل اجرای طرح

مکانیزه کردن سیستم اوقات فراغت جوانان

1380

استانداری مرکزی

مکانیزه کردن سیستم آب و فاضلاب استان مرکزی

1381

آب و فاضلاب استان مرکزی

     
پروژه های تحقیقاتی درون دانشگاهی  تاریخ  محل اجرای طرح
پیاده سازی یک اثبات کننده خودکار قضایا با قابلیت استفاده از استقرا
1380
دانشگاه اراک
     
راهنمایی پایان نامه های تحصیلات تکمیلی
     
مقالات منتشر شده در مجلات علمی
  • R.Rafeh and A. Bahrehmand An Adaptive Approach to Deal with Unstable Behavior of Users in Collaborative Filtering Systems, Journal of Information Science 38(3): 205-221, 2012.
  • V. Rafe, A. Torkaman Rahmani and R. Rafeh: Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems. International Journal of Software Engineering and Knowledge Engineering 20(5): 679-694 2010.
مقالات ارائه شده در کنفرانس های علمی
  • R. Rafeh. The Modelling Language Zinc. ACDC 2007, Ballarat, Australia.
  • R. Rafeh, K. Marriott, M. Wallace, M. Garcia de la Banda. The Modelling Language Zinc. PhD Programme CP 2006, Nantes, France.
تالیف کتاب
  • R.Rafeh and V.R. Mirzaeian, English for Computer Students, ISAN publication, 2012
  • Reza Rafeh: Proposing a new search template for modelling languages. Procedia CS 3: 1490-1493, 2011.
  • K. Marriott, N. Nethercote, R. Rafeh, P. J. Stuckey, M. Garcia de la Banda, M. Wallace, The Design of the Zinc Modelling Language. Constraints, 13(3):229-267, 2008.
  • R. Rafeh, M. Garcia de la Banda, K. Marriott, and M.Wallace. From Zinc to Design Model, pages 215-229. Number 4354 in LNCS. Springer, 2007. Proc. PADL 2007.
  • R. Rafeh, K. Marriott, M. Garcia de la Banda, N. Nethercote, M. Wallace, Adding Search to Zinc, pages 624-629. Number 5202 in LNCS. Springer, 2008. Proc. CP 2008.
  • M. Garcia de la Banda, K. Marriott, R. Rafeh, M. Wallace. The Modelling Language Zinc, pages 700-705. Number 4204 in LNCS. Springer, 2006. Proc. CP 2006.
  • R. Rafeh, K. Marriott, M. Wallace, M. Garcia de la Banda. Towards the new modelling language Zinc. Pages 137-141. 2005. Proc.  OSDC 2005.
  • ر. رافع و ح. ر. مقسمی، درس و کنکور هوش مصنوعی، گسترش علوم پایه، 1390
  • ر. رافع،  اپراتوری کامپیوتر و داس، انتشارات دانشگاه اراک، تابستان 1380.
  • ر. رافع، مقدمه ای بر نظریه زبانها و ماشینها، انتشارات دانشگاه اراک، تابستان 1380.
  • غ. ر. قاسم ثانی و ر. رافع، پیاده سازی یک نمونه اثبات کننده خودکار قضایا، چهارمین کنفرانس بین المللی انجمن کامپیوتر، بهمن ،1377 دانشگاه صنعتی شریف، صفحات 99-92.
     
تجربه تدریس
  • عضویت هیأت علمی دانشگاه اراک از مهر 1377 تا کنون.
  • تدریس در دانشگاه موناش استرالیا از مرداد 1384 تا مهر 1387.
  • تدریس در دانشگاه پیام نور از بهمن 1377 تا تیر 1383.
  • تدریس در دانشگاه صنعتی شریف از مهر 1376 تا تیر 1377.
  • تدریس در موسسه بانکداری ایران از شهریور 1376 تا مهر 1378.
 
 

مدیریت گروه

 
دکتر سیف اله سلیمانی

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

34