Dev Perfects

Forwarded from a pessimistic researcher (Kc)

یه عده از دوستان فکر کردند که من به شوخی اینجا گفتم که دارم روی مهارت‌های نون پزیم کار میکنم که بعد دکتری بیکار نمونم. یا اینکه ایده‌ی تاسیس رستوران‌های زنجیره‌ای با عنوان "فرمال‌خوران" به همراه دوستانم در اروپا جدی نبوده.

ببینید این چیزا کاملا طبیعیه. بخصوص توی حوزه‌ی کاری ما. نمونه‌های بی‌شماری هم داشته. اصلا بذارید من به یکیش اشاره کنم. آقای Aaron R Bradley دانشجوی مرحوم Zohar Manna در استنفورد بود. ایشون بعد دکتری میرن دانشگاه Colorado در آمریکا و tenure-track میشن. توی همون سال‌ها ایشون یک الگوریتمی میدن به نام IC3. به تنهایی هم این الگوریتم رو ابداع میکنند. توی اون چند سال هم هی روش مقاله میدن و ورژن‌های مختلفی میدن ولی خب کسی توجهی نمیکنه. دانشگاه هم با درخواست tenured شدن ایشون مخالفت میکنه و ایشون رو میندازه بیرون :)

بعدش ایشون میرن معلم دبیرستان میشن :) و ۴ سالی اونجا هندسه و ریاضی گسسته درس میدن :)
توی این چهار سال، ملت میفهمن که الگوریتم IC3 ایشون، چه چیز قوی و محشریه و اون زمانی که ایشون این الگوریتم رو ابداع کرد، هیچکس در واقع نفهمیده بود که این الگوریتم چقدر ارزشمنده. از اون موقع تا به امروز الگوریتم ایشون که پایه‌ی تمام تکنیک‌های CEGAR بیس هستند بهترین الگوریتم موجود در زمینه‌ی Symbolic Model Checking هستش :)

بعد معروف شدن IC3 شرکتا شروع میکنن آفر دادن و قاپیدن آقای Aaron. ایشونم درنهایت آفر شرکت Mentor Graphics رو قبول کرد و رفت اونجا مشغول فرمال متد شد. ۷ سال اونجا بود و بعدشم ۱ سال رفت AWS. منتهی باز دوباره احساس کرد که جامعه توان درک و فهم حرفاش رو نداره، و حدس بزنید چی کار کرد؟ :)

بله دوستان ایشون استعفا داد و رفت استخدام موزه‌ی Denver شد و پیشه‌ی فسیل شناسی رو پیشه کرد :) فاکینگ ۴ سال تمام کارش فسیل شناسی بود :) تا همین فبریه ۲۰۲۵. بعدش با خودش نشست فکر کرد که من دارم چه غلطی با زندگیم می‌کنم، و بله، بعدش تصمیم گرفت یه استارت آپ بزنه Neuro-symbolic AI کار کنه. تا امروز هنوز همونجاست :)

منم به نظرم همین میشه. بعد دکتری یه نونوایی باز میکنم تو زاربروکن و اوستا شاطر میشم :)

7 views15:37