ریاضیات و منطق

مایکل فورمن

مایکل پاول فورمن، استاد برجسته سیستم‌های کامپیوتری در دانشگاه ادینبورو و رئیس پیشین دانشکده انفورماتیک است. او در زمینه‌های منطق کاربردی در علوم کامپیوتر، هوش مصنوعی و طراحی سیستم‌های دیجیتال فعالیت گسترده‌ای دارد و یکی از توسعه‌دهندگان اصلی سیستم لامبدا برای خودکارسازی طراحی سخت‌افزار به شمار می‌رود.