Üniversitemiz Fen Fakültesi Matematik Bölümü öğretim üyesi Doç. Dr. Ümit ERTUĞRUL, COST Programı’nın “CA20111 - European Research Network on Formal Proofs” aksiyona Yönetim Komitesi Üyesi (MC) olarak atanmıştır.

Akademisyenimize aksiyondaki çalışmalarında başarılar dileriz.

*Sizler de çalışma alanlarınız, geçmişte yürüttüğünüz ve/veya mevcut durumda yürüyen çalışma, proje ve tez konularınızla uyumlu olduğunu düşündüğünüz aksiyonlara dahil olmak için Merkezimiz ile iletişime geçebilirsiniz. COST Programı ve ilgili aksiyonlara dahil olabilmeniz için izlenecek yol hakkında sizlere bilgi vereceğimizi ve KTÜ-TTM olarak bu süreçteki bütün aşamalarda sizlere destek olmaktan memnuniyet duyacağımızı belirtir, saygılar sunarız.