Hard Reset

Episode 9 - Formal Verification Engineer (Or Drucker)

Episode Summary

יובל קוגן, ליאור שרמן ואור דרוקר מדברים על חומרה

Episode Notes

מי הוא מהנדס הפורמל ומה הוא עושה? איך נראה יום עבודה שלו? עם מי הוא עובד? למה צריך וריפיקציה רגילה אם קיים פורמל? מי קדם למי?
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
podcasthardreset@gmail.com