Marino Miculan

استاد · Distributed Systems

Denmark

معرفی

Marino Miculan is a Professor of Computer Science at the Department of Mathematics, Computer Science and Physics of the University of Udine, with a secondary affiliation at the Department of Environmental Sciences, Informatics and Statistics of Ca’ Foscari University of Venice. His work spans research, teaching, and academic service.

حوزه‌های پژوهشی

Distributed Systems Cybersecurity Formal Methods Type Theory Proof Assistants Logical Frameworks Nominal Sets Category Theory Categorical Logic Process Calculi Coalgebras Semantics Session Types Bigraphs Distributed Ledgers

۰مقاله منتشرشده

Marino Miculan در سایت‌های دیگر

جست‌وجوهای مرتبط

شاید این‌ها هم برایتان مناسب باشند

Marino MiculanUniversity of Udine · استاد
Germano PettarinCa' Foscari University of Venice · مدرس پاره‌وقت
E
Ernesto DELLA SALACa' Foscari University of Venice · استاد مدعو
F
Federica GIUMMOLE'Ca' Foscari University of Venice · دانشیار
L
Lorenzo SERAFINICa' Foscari University of Venice · پژوهشگر ارشد
E
Ebru AYYUREKCa' Foscari University of Venice · پژوهشگر ارشد