جستوجوی استاد و پژوهشگر
استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
برای دیدن اساتید مرتبط با «Formal methods and program logics»، وارد شوید
با ساخت حساب رایگان، بر اساس حوزهٔ پژوهشی، دانشگاه، مرتبهٔ علمی و کشور فیلتر کنید و در چند دقیقه ارتباط با اساتید را شروع کنید.
۱٬۰۰۰٬۰۰۰
استاد راهنمای نمایهشده
۳٬۵۹۸
دانشگاه
۸۴
کشور
استادان مناسبتر را پیدا کنید
بر اساس حوزههای پژوهشی، مقالات، گرنتها و نشانههای پذیرش جستوجو و فیلتر کنید.
ارتباط مؤثرتری برقرار کنید
برای هر استاد ایمیلی متناسب بنویسید و پیگیریهایتان را منظم نگه دارید.
هزینهها و فعالیتها را یکجا دنبال کنید
موجودی کیف پول، ایمیلهای زمانبندیشده و استادان ذخیرهشده را در یک داشبورد ببینید.