כל מה שרצית לדעת על יוהאן מקובסקי:
יוהאן (ינוש) א.
מקובסקי (Johann (János) A.
Makowsky; נולד ב-12 במרץ 1948 בבודפשט) הוא לוגיקן ומדען מחשב שווייצרי ממוצא יהודי הונגרי, פרופסור מן המניין בטכניון.
מקובסקי כתב את עבודת הדוקטורט שלו בלוגיקה מתמטית בציריך ב-1974.
הוא שימש במשרות זמניות במרכז בנך בוורשה, באוניברסיטת סטנפורד בארצות הברית, באוניברסיטת סימון פרייז'ר בקנדה, באוניברסיטת פירנצה באיטליה, במכון הטכנולוגי של מסצ'וסטס MIT בארצות הברית, ובאוניברסיטת לוזאן ובמכון הטכנולוגי של ציריך בשווייץ, והיה חבר סגל מן המניין באוניברסיטה החופשית בברלין.
מקובסקי הוא ממייסדי האגודה האירופית ללוגיקה של מדעי המחשב ושימש כסגן נשיא, נשיא וחבר במועצת המנהלים של האגודה.
התמחותו של מקובסקי היא בלוגיקה מתמטית ושימושיה במדעי המחשב.
בתורת המודלים, מקובסקי פתר שתי בעיות פתוחות בתחום שנקרא categoricity theory ועסק בחקר תכונות אינטרפולציה וקומפקטיות של לוגיקות.
בתורת מסדי הנתונים, מאמרו של מקובסקי, ביחד עם צ'נדרה ולואיס, הציג את הוכחת אי-הכריעות הראשונה לבעיית התלויות המושרות.
כמו כן עסק מקובסקי בקשר בין מודלי ישויות קשרים לסכימות של מבני נתונים.
בתכנות לוגי חקר מקובסקי נוסחאות בעלות צורה מיוחדת הנקראות נוסחאות הורן ואת הסיבוכיות שלהן.
באלגוריתמים בתורת הגרפים, הוא ושותפיו למחקר פיתחו גישה לוגית מאוחדת לאלגוריתמים על גרפים בעלי רוחב עץ (tree-width) ורוחב קליקה (clique-width) חסום, ובהמשך לכך גישה לוגית לגדירות של פולינומי גרפים.