14 בינואר 2013
דוד הראל
דוד הראל הוא פרופסור למדעי המחשב במכון ויצמן, חתן פרס ישראל, ממדעני המחשב המשפיעים והמובילים בישראל ובעולם. מחקריו עסקו במהלך השנים בשני נושאים עיקריים: לוגיקה של תכניות, שהיא הבסיס המתמטי של תכנות ואימות תוכנה, ושפות גראפיות ואתן שיטות תכנון ובנייה של מערכות מורכבות, החל מטלפונים סלולריים casino online ומכוניות וכלה במטוסי קרב ובמערכות תקשורת גדולות.
הרצאתו תעסוק בשאלה האם ניתן להשתמש בהצלחה בטכניקות ממדעי המחשב והנדסת תוכנה למחקר במדעי החיים. ההרצאה תעסוק ברעיון של מידול כוללני וריאליסטי של מערכות ביולוגיות, בו אנו מנסים להבין מערכת ביולוגית שלמה בפירוט רב, תוך לקיחה בחשבון של כל מה שידוע עליה. החלום לטווח הרחוק קורא לבניית מערכת ממוחשבת, דינאמית ואינטראקטיבית, של אורגניזם רב-תאי שלם.
קישורים חיצוניים
- דוד הראל בוויקפדיה
- האתר של דוד הראל במכון וייצמן
- Breaking the Wall of Biocomplexity. How a Reactive Systems Approach May Lead to Full Dynamic Models of Multi-Cellular Organisms