14 בינואר 2013

דוד הראל

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

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

קישורים חיצוניים