עמיהוד אמיר

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
עמיהוד אמיר
אין תמונה חופשית
לידה 1956 (בן 63 בערך)
ענף מדעי מדעי המחשב
מקום לימודים אוניברסיטת בר-אילן
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

עמיהוד אמיר (נולד ב-1956) הוא מדען מחשב ישראלי, פרופסור למדעי המחשב, לשעבר דיקן הפקולטה למדעים מדויקים באוניברסיטת בר-אילן. מחקריו עוסקים בניתוח אלגוריתמים, זיהוי תבניות וביולוגיה חישובית.

אודות[עריכת קוד מקור | עריכה]

אמיר סיים תואר שני במתמטיקה[1] ותואר שלישי במדעי המחשב ב-1981[2], שניהם מאוניברסיטת בר-אילן ואחר כך עשה השתלמות פוסט-דוקטורט באוניברסיטת MIT. הוא לימד באוניברסיטת טאפטס, באוניברסיטת מרילנד קולג' פארק, במכון הטכנולוגי של ג'ורג'יה, ובשנת 1994 הצטרף לסגל אוניברסיטת בר-אילן. כמו כן הוא משמש כפרופסור מחקר באוניברסיטת ג'ונס הופקינס.

אמיר משמש כחבר במועצה האקדמית של מכללת נתניה, עמד בראש פרויקט השו"ת המקוון של אוניברסיטת בר-אילן. כמו כן הוא חבר בהנהלת חוג הפרופסורים לחוסן מדיני וכלכלי ושימש כדובר התנועה.

קישורים חיצוניים[עריכת קוד מקור | עריכה]

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ שם העבודה "חישובים דטרמיניסטיים ולא דטרמיניסטיים של פונקציות פרימיטיביות רקורסיביות"
  2. ^ שם העבודה "Functional completeness in tense logics"