Marino Miculan, PhD
Address: Department of Mathematics and Computer Science (DiMI), Universitā di Udine
phone: ( 39) 0432 55 8486;
fax: ( 39) 0432 55 8499;
skype: marinomiculan ;
e-mail: marino.miculan at uniud.it. I endorse S/MIME; here is my X.509 certificate
I am interested in general tools and methodologies for reasoning about the (semantics of) programming languages, especially for concurrent and distributed computations. In particular, I work on metamodels, or frameworks, for programs and processes, using techniques from mathematical logic, type theory and category theory.
I am also interested in applying and refining these methods to new areas, such as biological systems (the so-called "systems biology").
Look at the About tab for more details.
Currently I teach
- "Computer Network", at the bachelor degree ("laurea") in Computer Science
- "Concurrency theory" and "Distributed systems and languages" at the master degree ("laurea magistrale") in Computer Science