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