Marino Miculan, PhD

Associate Professor of Computer Science (INF/01) at the Faculty of Science of the University of Udine. 

Address: Department of Mathematics and Computer Science (DiMI), Universitą di Udine
via delle Scienze 208, I-33100 Udine (Italy).
Office location: L2.24.BC, also known as SN3. North side, Second floor, Rizzi Campus. See the map.

A Random Image of myself

phone: ( 39) 0432 55 8486; fax: ( 39) 0432 55 8499; skype: marinomiculan
e-mail: miculan at dimi uniud it. I endorse S/MIME; here is my X.509 certificate

Research interests

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.

Teaching activities

Currently I teach

  • "Computer Network security" at the bachelor degree ("laurea") of Computer Science
  • "Compilers" and "Models of global, concurrent computing" at the master degree ("laurea specialistica") of Computer Science

Look at the Corsi tab (in italian) for more details about courses, and also to my proposals for labs and theses.