יוהאן מקובסקי

יוהאן (ינוש) א. מקובסקי (Johann (János) A. Makowsky; נולד ב-12 במרץ 1948 בבודפשט) הוא לוגיקן ומדען מחשב שווייצרי ממוצא יהודי-הונגרי, פרופסור מן המניין בטכניון.

קורות חייו
מקובסקי כתב את עבודת הדוקטורט שלו בלוגיקה מתמטית בציריך ב-1974. הוא שימש במשרות זמניות במרכז בנך בוורשה, באוניברסיטת סטנפורד בארצות הברית, באוניברסיטת סימון פרייז'ר בקנדה, באוניברסיטת פירנצה באיטליה, במכון הטכנולוגי של מסצ'וסטס MIT בארצות הברית, ובאוניברסיטת לוזאן ובמכון הטכנולוגי של ציריך בשווייץ, והיה חבר סגל מן המניין באוניברסיטה החופשית בברלין. מקובסקי הוא ממייסדי האגודה האירופית ללוגיקה של מדעי המחשב ושימש כסגן נשיא, נשיא וחבר במועצת המנהלים של האגודה. 

התמחותו של מקובסקי היא בלוגיקה מתמטית ושימושיה במדעי המחשב. בתורת המודלים, מקובסקי פתר שתי בעיות פתוחות בתחום שנקרא categoricity theory ועסק בחקר תכונות אינטרפולציה וקומפקטיות של לוגיקות. בתורת מסדי הנתונים, מאמרו של מקובסקי, ביחד עם צ'נדרה ולואיס, הציג את הוכחת אי-הכריעות הראשונה לבעיית התלויות המושרות. כמו כן עסק מקובסקי בקשר בין מודלי ישויות קשרים לסכימות של מבני נתונים. בתכנות לוגי חקר מקובסקי נוסחאות בעלות צורה מיוחדת הנקראות נוסחאות הורן ואת הסיבוכיות שלהן. באלגוריתמים בתורת הגרפים, הוא ושותפיו למחקר פיתחו גישה לוגית מאוחדת לאלגוריתמים על גרפים בעלי רוחב עץ (tree-width) ורוחב קליקה (clique-width) חסום, ובהמשך לכך גישה לוגית לגדירות של פולינומי גרפים.

מפרסומיו 
 Linear time solvable optimization problems on graphs of bounded clique-width, B Courcelle, JA Makowsky, U Rotics - Theory of Computing Systems, 2000 - Springer.
 Identifying extended entity-relationship object structures in relational schemas, VM Markowitz, JA Makowsky, Software Engineering, IEEE Transactions on 16 (8), 777-790.
 Unification as a complexity measure for logic programming, A Itai, JA Makowsky, The Journal of Logic Programming 4 (2), 105-117.
 Δ-logics and generalized quantifiers, JA Makowsky, S Shelah, J Stavi, Annals of mathematical logic 10 (2), 155-192

קישורים חיצוניים 

 

 קורות חיים (2008)

הערות שוליים

סגל הטכניון: מדעי המחשב
מתמטיקאים יהודים שווייצרים
מדעני מחשב יהודים הונגרים
מדעני מחשב ישראלים
מתמטיקאים יהודים הונגרים
בודפשט: אישים
יהדות בודפשט
לוגיקנים ישראלים
ילידי 1948