Icma.az, Unikal.az portalına istinadən məlumatı açıqlayır. Azərbaycan Memarlıq və İnşaat Universitetində (AzMİU) riyaziyyat və kompüter elml

"Unikal" xəbər verir ki, “Dinamiki sistemlərdə hesablama məsələləri” mövzusunda təşkil olunan bu mötəbər tədbir AMEA-nın müxbir üzvü, görkəm

Seminarın əsas məruzəçisi Maks Plank Proqram Sistemləri İnstitutunun əməkdaşı, gənc alim Toğrul Kərimov dinamik sistemlərin formal yoxlama m

O, diskret və fasiləsiz zamanlı xətti dinamik sistemlərin yoxlama problemlərini, onların cəbr və transendental ədəd nəzəriyyəsi, eləcə də he

Vurğulanıb ki, formal yoxlama metodları yüksək səviyyəli kiber-fiziki sistemlərin təhlükəsizliyini və funksional düzgünlüyünü təmin edən ən

Alimlər bu metodların süni intellekt, avtomatlaşdırılmış idarəetmə və kritik infrastrukturların qorunması sahələrində tətbiqinin mühüm persp

Müzakirələr zamanı elmi ictimaiyyət Toğrul Kərimovun tədqiqatlarının Azərbaycan elmi üçün strateji əhəmiyyətini xüsusi qeyd edib.

Eyni zamanda, onun elmi işlərinin yaxından izlənilməsi və potensial əməkdaşlıq imkanlarının dəyərləndirilməsi barədə yekdil fikir ifadə olunub.