דרכים לתכנות מערכות מחשב על בסיס מבנים וירטואליים

פרופ' דוד הראל חקר דרכים לתכנת מערכות מחשב על בסיס מבנים וירטואליים.

 

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