سلام دوستا
داشتم پروفایل یه استاد رو میخوندم و درست متوجه نشدم که شاخه علاقشون چیه
In all, my research interests are in the area of formal software engineering, with emphasis on real-time systems
میشه توضیح بدید برام؟