לוגיקה מתמטית ויישומה ביסודות מדעי המחשב מגדירים את הקריירה של יוהאן א. מקובסקי (Johann A. Makowsky). הוא נולד בהונגריה בשנת 1948 וקיבל מאוחר יותר אזרחות שווייצרית, והוא השלים השכלה אקדמית קפדנית ב-ETH ציריך. מסלולו המקצועי עבר בנופי מחקר בינלאומיים, והשפיע על תחומים שנעו מתורת המודלים ואלגוריתמים של גרפים ועד מורכבות מסדי נתונים ותכנות לוגי.
הכשרה אקדמית
מקובסקי נרשם ל-ETH ציריך ב-1967 והשלים את לימודיו ב-1971. תחת הנחייתם של ארנסט שפקר (Ernst Specker) והנס לכלי (Hans Läuchli), הוא פיתח בסיס בלוגיקה מתמטית. השכלתו התרחבה מעבר לשווייץ, שכן בילה את שנת 1972 בוורשה בעבודה עם אנדז'יי מוסטובסקי (Andrzej Mostowski) וויטק מארק (Witek Marek). הוא עסק גם בתורותיהם של בנו אקמן (Beno Eckmann) בטופולוגיה ובגאומטריה, לצד פולקר שטראסן (Volker Strassen) באלגוריתמיקה, ולבסוף קיבל את התואר דוקטור למדעים (Dr. math.sc.) בשנת 1974.
מחקר וכהונה מקצועית
הקריירה שלו כוללת משרות אורח רבות במוסדות גלובליים, כולל אוניברסיטת סטנפורד, אוניברסיטת סיימון פרייזר, אוניברסיטת פירנצה ואוניברסיטת לוזאן. הוא החזיק במשרות אקדמיות קבועות באוניברסיטה החופשית של ברלין ובטכניון – מכון טכנולוגי לישראל בחיפה, שם כיהן כפרופסור מן המניין. מאז 2016, הוא מחזיק בתואר פרופסור אמריטוס בטכניון, תוך שמירה על מעורבותו במחקר ובהנחיית סטודנטים לתארים מתקדמים.
תרומות ללוגיקה ומחשוב
מקובסקי הפיק תוצאות משמעותיות בתורת המודלים, במיוחד בנוגע לתורת הקטגוריות והתכונות של אינטרפולציה וקומפקטיות לצד סהרן שלח וג'ונתן סטווי (Jonathan Stavi). עבודתו בתורת מסדי הנתונים זיהתה את תוצאות אי-הכריעות הראשונות עבור בעיות הסקה הקשורות לתלויות, לצד אשוק צ'נדרה (Ashok Chandra) והארי לואיס (Harry Lewis). בנוסף, הוא שיתף פעולה באיחוד מודלים של ישויות-קשרים עם מודלים יחסיים, וחקר את המורכבות של נוסחאות הורן.
תורת הגרפים ושירות מקצועי
בתחום האלגוריתמים של גרפים, הוא פיתח גישה תיאורטית-מודלית לרוחב עץ ורוחב צומת. מחקר זה תרם לתיאוריה כללית של פולינומים של גרפים וליכולת ההגדרה שלהם בתוך פורמליזמים לוגיים. מעבר למחקר טכני, הוא היה חבר מייסד של האגודה האירופית ללוגיקה במדעי המחשב בשנת 1992. הוא כיהן כסגן נשיא הארגון בשנים 2002–2004, וכנשיא בשנים 2004–2009, תקופה שבה חנך את פרס אקרמן.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →עובדות מהירות
- נולד: 1948, הונגריה - אזרחות: שווייץ - השכלה: ETH ציריך - תחומים עיקריים: מתמטיקה, מדעי המחשב, לוגיקה - מעמד אקדמי: פרופסור אמריטוס, הטכניון - חברות מקצועית: האגודה האירופית ללוגיקה במדעי המחשב
שאלות נפוצות של קוראים
### היכן קיבל יוהאן מקובסקי את תואר הדוקטור שלו?
הוא קיבל את תואר הדוקטור למדעים (Dr. math.sc.) מ-ETH ציריך בשנת 1974.
### איזה פרס ספציפי ייסד מקובסקי במהלך תקופתו ב-EACSL?
הוא ייסד את פרס אקרמן של ה-EACSL, המכיר בעבודות דוקטורט מצטיינות בלוגיקה של מדעי המחשב.
### האם יוהאן מקובסקי עדיין פעיל באקדמיה?
כן, הוא נותר פעיל כפרופסור אמריטוס בטכניון, שם הוא ממשיך ללמד ולהנחות סטודנטים לתארים מתקדמים.