معرفی مایکل فورمن
مایکل پاول فورمن (متولد ۱۲ سپتامبر ۱۹۵۰)، استاد سیستمهای کامپیوتری در دانشگاه ادینبوروی اسکاتلند است و از سال ۲۰۰۱ تا ۲۰۰۹ ریاست دانشکده انفورماتیک این دانشگاه را بر عهده داشت. او همچنین عضو انجمن کامپیوتر بریتانیا (FBCS) و انجمن سلطنتی ادینبورو (FRSE) است.
حوزههای پژوهشی فورمن عمدتاً بر کاربردهای منطق در علوم کامپیوتر، هوش مصنوعی و علوم شناختی متمرکز است. تخصص دقیقتر او شامل مدلهای صوری سیستمهای دیجیتال، ابزارهای طراحی سیستم، دستیاران اثبات، معناشناسی رستهای و برنامهریزی گزارهای میشود.
تحصیلات
فورمن در سال ۱۹۷۱ مدرک کارشناسی خود را در رشتههای ریاضیات و فلسفه از دانشگاه بریستول دریافت کرد. یک سال بعد، در سال ۱۹۷۲، موفق به اخذ مدرک کارشناسی ارشد در زمینه منطق ریاضی از دانشگاه آکسفورد شد. او رساله دکتری خود را با عنوان «ارتباطهای میان نظریه رستهها و منطق» زیر نظر «دینا اسکات» در آکسفورد نگاشت و در سال ۱۹۷۴ از آن دفاع کرد.
مسیر شغلی و پژوهشی
فورمن تا سال ۱۹۷۶ به همکاری با اسکات به عنوان پژوهشگر پسادکتری شورای تحقیقات علوم (SRC) و پژوهشگر جوان کالج ولفسون در آکسفورد ادامه داد. سپس راهی ایالات متحده آمریکا شد؛ ابتدا به عنوان استاد مدعو ریاضیات در دانشگاه کلارک واقع در ماساچوست و سپس از سال ۱۹۷۷ تا ۱۹۸۲ به عنوان استادیار ریاضیات «جیاف ریت» در دانشگاه کلمبیای نیویورک مشغول به کار شد.
در سال ۱۹۸۳، او با دریافت بورسیه شورای تحقیقات علوم و مهندسی به بخش مهندسی الکترونیک و برق دانشگاه برونل پیوست. فورمن در سال ۱۹۸۶ ابتدا به سمت استادیاری و اندکی بعد به کرسی استاد تمامی سیستمهای صوری در دانشگاه برونل منصوب شد.
فعالیتهای صنعتی و توسعه سیستم لامبدا
فورمن در سال ۱۹۸۶ از بنیانگذاران و مدیر فنی شرکت «سختافزار انتزاعی محدود» (AHL) بود. او نقشی کلیدی در توسعه سیستم لامبدا (مخفف منطق و ریاضیات پشت خودکارسازی طراحی) برای کمک به طراحی سختافزار ایفا کرد. این ابزار که با زبان برنامهنویسی SML پیادهسازی شده بود، توسط شرکت AHL به بازار عرضه میشد. فورمن در سال ۱۹۹۷ این شرکت را ترک کرد.
بازگشت به آکادمی و هدایت دانشکده انفورماتیک
در سال ۱۹۸۸، فورمن به آزمایشگاه مبانی علوم کامپیوتر دانشگاه ادینبورو پیوست و به کرسی استاد تمامی سیستمهای کامپیوتری در بخش علوم کامپیوتر منصوب شد.
او در سال ۱۹۹۸ به عنوان بنیانگذار و رئیس بخش انفورماتیک انتخاب شد؛ بخشی که بعدها با ادغام گروههای پیشین هوش مصنوعی، مؤسسه کاربردهای هوش مصنوعی، مرکز علوم شناختی، مرکز تحقیقات ارتباطات انسانی و بخش علوم کامپیوتر، به دانشکده کنونی انفورماتیک ارتقا یافت. فورمن از اوت ۲۰۰۲ مجدداً ریاست این دانشکده را بر عهده گرفت.
او در طول مسیر حرفهای خود، موقعیتهای پژوهشی مدعوی در دانشگاههای مختلفی از جمله پاریس (۱۹۷۵)، اوترخت (۱۹۷۷ و ۱۹۸۰)، کمبریج (۱۹۷۹-۱۹۸۰)، سیدنی (۱۹۸۲)، مونترال (۱۹۸۳) و پرث (۱۹۹۴) داشته است.