משתמש:Elaz85/טיוטה

ערן יהב (נולד בשנת 1973) הוא פרופסור למדעי המחשב המתמחה בהנדסת תוכנה ובניתוח תוכנה. כיום הוא מכהן כפרופסור חבר ומרצה בכיר בפקולטה למדעי המחשב בטכניון וכן כיועץ בכיר בחברת הסטארטאפ הישראלית Codota^[1].

ביוגרפיה עריכה

יהב נולד ב1 באוקטובר 1973. בשנת 1996 סיים את לימודי התואר הראשון בפקולטה למדעי המחשב בטכניון. עם סיום התואר התגייס כמהנדס תוכנה לצה"ל, שם שירת עד שנת 2001. בשנה זו גם התחיל את לימודי הדוקטורט שלו במדעי המחשב באוניברסיטת תל אביב, אותם סיים בשנת 2004.

בין השנים 2004-2011 עבד במעבדות המחקר של חברת IBM.

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

מחקר אקדמי עריכה

תחומי המחקר בהם פרופסור יהב עוסק הם: ניתוח תוכנה (ובפרט אינטרפרטציה אבסטרקטית), אימות תוכנה, סינתזה של תוכנה, מערכות מקביליות ומבוזרות, שפות תכנות והנדסת תוכנה.

במהלך השנים ערן השתתף בכתיבה של מעל 100 מאמרים, שצוטטו למעלה מ-1800 פעמים במאמרים שונים. מדד ה-h-index^[2] שלו הוא 25^[3].

תכנות באמצעות מיליוני דוגמאות עריכה

כחלק ממחקריו בתחום התוכנה, עוסק פרופסור יהב בשימוש בדוגמאות קיימות של קוד בתהליך של כתיבת תוכנה. השימוש בדוגמאות קיימות מיועד להכוונת המתכנת בכתיבת הקוד ולהקלה עליו בהתמודדות עם ממשקי משתמש (APIs) מורכבים, על ידי כך שבתהליך כתיבת הקוד המתכנת ישלים את התוכנית אותה הוא כותב בעזרת חיפוש במאגרי קוד קיימים.

לשם כך, מתבצעת הצגה סמנטית של קוד (למשל באמצעות אוטומטים^[4]) עבור הקוד אותו המתכנת רוצה להשלים, וכן עבור הקוד הקיים במאגר הנתונים בו מתבצע החיפוש. במהלך החיפוש במאגר מתבצעת התאמת הקשר לקוד החלקי שהוכנס כשאילתה לחיפוש^[5]. תוצאות החיפוש הן דוגמאות של קוד, המהוות השלמות אפשריות לקוד אותו המתכנת הכניס כשאילתה לחיפוש.

פרסים והישגים עריכה

במהלך השנים זכה פרופ' יהב בפרסים רבים ומלגות, בהם:

Allon Fellowship for Outstanding Young Researchers - מהמועצה הישראלית להשכלה גבוהה, אוקטובר 2010
Andre Deloro Career Advancement Chair in Engineering - מהטכניון, אוקטובר 2009
פרס הצטיינות על שם Maus - מאוניברסיטת תל אביב, אפריל 2004
מלגה ע"ש לוי אשכול לעבודות דוקטורט מצטיינות - ממשרד המדע, אוקטובר 2002
IBM Pat Goldberg Memorial Best Paper Award- ממעבדות המחקר של IBM, אוקטובר 2007
שני פרסי Distinguished Paper Award מ-ACM SIGSOFT, בדצמבר 2006^[6] ובדצמבר 2007^[7].

קישורים חיצוניים עריכה

דף הבית של פרופסור ערן יהב, באתר הפקולטה למדעי המחשב בטכניון.
מאמרים של ערן יהב, ב-scholar.google.
פרסומים של ערן יהב, באתר אוניברסיטת Trier.
העמוד של ערן יהב, באתר linkedin.
העמוד של ערן יהב, באתר Researchgate.
Programming with Millions of Examples - תכנות באמצעות מיליוני דוגמאות - הרצאה מצולמת של ערן יהב באתר Youtube.
פרוייקט מתקפת סייבר על Waze שבוצע בשנת 2014 על ידי 2 סטודנטיות מהפקולטה למדעי המחשב בטכניון, בהנחיית ערן יהב. הפרויקט זכה להד תקשורתי נרחב^[8]^[9] ^[10]^[11].

הערות שוליים עריכה

^ אתר codota
^ ערך מדד ה-h-index עבור חוקר הוא המספר המקסימלי h של מאמריו שצוטטו h פעמים. בפרט, מדד h-index שערכו 25, משמעו כי לחוקר ישנם 25 מאמרים שכל אחד מהם צוטט 25 פעמים. מדד זה מביא לידי ביטוי הן את מידת היצרנות של החוקר והן את מידת ההשפעה שלו על עולם המחקר. h-index בויקיפדיה האנגלית
^ חושב לפי google-scholar
^ Symbolic Automata for Static Speciﬁcation Mining
^ Typestate-Based Semantic Code Search over Partial Programs
^ בכנס ISSTA-2006 על מאמרו: “Static Specification Mining Using Automata-Based Abstractions”. אתר ISSTA- International Symposium on Software Testing and Analysis
^ בכנס ISSTA-2007 על מאמרו: "Effective Typestate Verification in the Presence of Aliasing”.
^ פרוייקט מתקפת הסייבר על "Waze" באתר "Geek time"
^ פרוייקט מתקפת הסייבר על "Waze" באתר "ערוץ 7"
^ פרוייקט מתרפת הסייבר על "Waze" באתר "מעריב השבוע"
^ פרוייקט מתקפת הסייבר על "Waze" באתר "הידען"

[1] אתר codota

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

[3] חושב לפי google-scholar

[4] Symbolic Automata for Static Speciﬁcation Mining

[5] Typestate-Based Semantic Code Search over Partial Programs

[6] בכנס ISSTA-2006 על מאמרו: “Static Specification Mining Using Automata-Based Abstractions”. אתר ISSTA- International Symposium on Software Testing and Analysis

[7] בכנס ISSTA-2007 על מאמרו: "Effective Typestate Verification in the Presence of Aliasing”.

[8] פרוייקט מתקפת הסייבר על "Waze" באתר "Geek time"

[9] פרוייקט מתקפת הסייבר על "Waze" באתר "ערוץ 7"

[10] פרוייקט מתרפת הסייבר על "Waze" באתר "מעריב השבוע"

[11] פרוייקט מתקפת הסייבר על "Waze" באתר "הידען"

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

	דף זה אינו ערך אנציקלופדי
	דף זה הוא טיוטה של Elaz85.