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

יוהאן (ינוש) א. מקובסקי (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