פיתוח OMDoc מספק מסגרת מובנית לייצוג ידע מתמטי, ומסמן תרומה משמעותית של מדען המחשב הגרמני מיכאל קולהאזה (Michael Kohlhase). הוא נולד בארלנגן בשנת 1964, והקדיש את הקריירה המקצועית שלו לצומת שבין מתמטיקה לבינה מלאכותית, תוך התמקדות באופן שבו מערכות חישוביות מעבדות, מאחסנות ומאמתות מבנים לוגיים מורכבים.
רקע אקדמי
מיכאל קולהאזה השלים את לימודיו במתמטיקה באוניברסיטת בון בשנת 1989. לאחר מכן עבר לאוניברסיטת זארלנד כדי להמשיך בלימודים מתקדמים במדעי המחשב, קיבל את הדוקטורט שלו בשנת 1994 והשלים את ההביליטציה שלו בשנת 1999. במהלך תקופה זו, הוא עסק בביקורי מחקר נרחבים במספר מוסדות בינלאומיים, כולל אוניברסיטת קרנגי מלון, אוניברסיטת אמסטרדם, אוניברסיטת אדינבורו ו-SRI International.
מחקר ותרומות חישוביות
תחומי המחקר העיקריים שלו כוללים הוכחת משפטים אוטומטית ופיתוח מערכות לייצוג ידע למתמטיקה. חלק ניכר מעבודתו משתמש בפורמטים של סימון תוכן מבוססי אינטרנט כגון MathML, OpenMath ו-OMDoc. הוא מתמקד גם בטכניקות מבוססות הסקה לעיבוד שפה טבעית וחינוך נתמך מחשב. היישומים המעשיים שלו כוללים בניית מנועי חיפוש סמנטיים לנוסחאות מתמטיות ויצירת הרחבות סמנטיות ל-LaTeX, כולל כלים להמרת מסמכים ישנים מ-arXiv.
מינויים מוסדיים
קולהאזה החזיק בתפקידים אקדמיים ומנהליים רבים לאורך הקריירה שלו. בין השנים 2000 ל-2003, הוא ערך מחקר ולימד בבית הספר למדעי המחשב באוניברסיטת קרנגי מלון, שם כיהן כפרופסור חבר נלווה. בין השנים 2003 ל-2006, הוא היה פרופסור למדעי המחשב באוניברסיטת ג'ייקובס בברמן. במקביל, כיהן כסגן מנהל המחלקה למערכות קוגניטיביות בטוחות ומאובטחות במרכז המחקר הגרמני לבינה מלאכותית בברמן בין השנים 2006 ל-2008. בספטמבר 2016 החל את כהונתו כפרופסור לייצוג ועיבוד ידע באוניברסיטת ארלנגן-נירנברג, שם הוא גם מוביל את קבוצת המחקר KWARC.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →שירות מקצועי
מעבר לתפקידיו המוסדיים, קולהאזה תרם לקהילה המדעית הרחבה באמצעות הנהגה ושירות בוועדות. הוא מכהן כנשיא אגודת OpenMath והוא נאמן של קבוצת האינטרס לניהול ידע מתמטי. תפקידי ההנהגה הקודמים שלו כוללים כהונה כיו"ר כנס CADE-21 ויו"ר תוכנית לכנסים KI-2006, MKM-2005 ו-CALCULEMUS-2000. הוא שירת בוועדות תוכנית של למעלה משלושה תריסר כנסים בינלאומיים וכתב או ערך ארבעה ספרים לצד כמעט 100 מאמרים שעברו ביקורת עמיתים.
עובדות מהירות
- נולד: 1964, ארלנגן, גרמניה - השכלה: אוניברסיטת בון (מתמטיקה), אוניברסיטת זארלנד (מדעי המחשב) - תפקיד נוכחי: פרופסור באוניברסיטת ארלנגן-נירנברג - קבוצת מחקר: KWARC (התאמת ידע והסקה לתוכן) - יצירה בולטת: OMDoc - פרסים: מלגת הייזנברג (2000), פרס AKI (1996) - שפות: גרמנית, אנגלית
שאלות נפוצות
### מהו המיקוד העיקרי של המחקר של מיכאל קולהאזה?
מחקרו מתמקד בהוכחת משפטים אוטומטית, ייצוג ידע מתמטי ומערכות חישוביות לניהול תוכן מתמטי כמו OMDoc ו-OpenMath.
### היכן מלמד מיכאל קולהאזה כיום?
הוא פרופסור לייצוג ועיבוד ידע באוניברסיטת ארלנגן-נירנברג.