Marino Miculan Associate professor of Computer Science (INF/01) at the Faculty of Science of the University of Udine. Address: Room SN3, Dipartimento di Matematica e Informatica, Università di Udine - via delle Scienze, 206 - 33100 Udine - Italy. Phone: (+39)043255.8486, Fax: (+39)043255.8499, Skype: marinomiculan Email: miculan at dimi, uniud, it. (I endorse S/MIME; here is my X.509 certificate.)

RESEARCH

• Mainly: formal methods, type theory, (categorical) logics and semantics of programs and processes, systems biology.
• but also: distributed operating systems, autonomic computing.
• Publications.
• Member of the Formal Methods and Logics of Computation group.
• Current projects I am involved in: ART (PRIN 2005015824), TYPES (IST-CA-510996).
• Past projects: DART (IST-2001-33477), "Levi" (40% 1997), TOSCA (COFIN99), COMETA (COFIN01), TYPES (ESPRIT BRA 6453), TYPES (ESPRIT WG 21900), TYPES (IST WG 29001)

CONFERENCES, WORKSHOPS

• 2008: Mathematically Structured Functional Programming (PC).
• 2007: Logical Frameworks and Meta-Languages: Theory and Practice (PC); TYPES 2007 (OC,PC), Effects and Type Theory, EffTT.
• 2006: Mathematically Structured Functional Programming (PC); IFIP WG 2.2 Anniversary Meeting (OC).
• 2005: ACM SIGPLAN MERλIN'05 (PC); AICA 2005 (PC).
• 2003: ACM SIGPLAN MERλIN'03 (PC,OC); COMETA 2003 final workshop (OC).
• 2002: COMETA kickoff meeting (OC), and GioCoNOpLe (OC).
• 2001: TOSCA'01 Final workshop (OC)

PROCEEDINGS, SPECIAL ISSUES

• 2008: LNCS 4941 - Proceedings of TYPES'07 (Editor).
• 2004: ENTCS 104 - Proceedings of COMETA'03 (Guest Editor).
• 2003: TCS 298(3) Special Issue on FOSSACS'01 (Guest Editor).
• 2002: ENTCS 62 - Proceedings of TOSCA'01 (Guest Editor).
• 2001: LNCS 2030 - Proceedings of FOSSACS'01 (Editor).

ACADEMIC POSITIONS

• Co-Head of the ICT cluster of Alform³
• Director of the CINI site at the University of Udine
• Member of the Scientific Committee of Technoseed

TEACHING

• Argomenti di tesi di laurea.
• Orario ricevimento studenti: Si vedano le informazioni da Sindy. Anche su appuntamento.
• Prenotazione esami (prenotarsi con almeno 3 giorni di anticipo)
• Pagine specifiche degli insegnamenti:
  • 2008-09
    Reti di Calcolatori e Sicurezza per la Laurea in Informatica (mutuato per la Laurea in TWM)
    Linguaggi e Modelli per il Global Computing per la Laurea Specialistica in Informatica
    Sistemi Operativi per la Laurea in Biotecnologie
    
  • 2007-08
    Reti di Calcolatori e Sicurezza per la Laurea in Informatica (mutuato per la Laurea in TWM)
    Linguaggi e Modelli per il Global Computing per la Laurea Specialistica in Informatica
    Sistemi Operativi per la Laurea in Biotecnologie
    
  • 2006-07
    Sicurezza Informatica per il Master in Informatica Medica
    Reti di Calcolatori e Sicurezza per la Laurea in Informatica (mutuato per la Laurea in TWM)
    Linguaggi e Modelli per il Global Computing per la Laurea Specialistica in Informatica
    Sistemi Operativi per la Laurea in Biotecnologie
    Informatica Documentale per la Laurea in CBC
  • 2005-06
    Reti di Calcolatori e Sicurezza per la Laurea in Informatica (mutuato per la Laurea in TWM)
    Linguaggi e Modelli per il Global Computing per la Laurea Specialistica in Informatica
    Sistemi Operativi per la Laurea in Biotecnologie
    Informatica Documentale per la Laurea in CBC
  • 2004-05
    Informatica Documentale per la Laurea in CBC
    Informatica II per la Laurea in DAMS
    Metodi Formali per il Global Computing per la Laurea Specialistica in Informatica
    Sistemi Operativi per la Laurea in Biotecnologie
  • 2003-04
    Sistemi Operativi per la Laurea in Informatica
    Sistemi Operativi per la Laurea in Biotecnologie
    Informatica II per la Laurea in DAMS.
    
  • 2002-03
    Sistemi Operativi per la Laurea in Informatica
    Ambienti di Programmazione per la Didattica per il corso SSIS-A042
  • 2001-02
    Sistemi Operativi per la Laurea in Informatica
    Informatica Generale per la Laurea in Scienze e Tecnologie Multimediali
  • 2000-01
    Sistemi Operativi per il Diploma in Informatica (e anche nel 1997-98, 1998-99, 1999-2000).
    Informatica Generale per la Laurea in Scienze e Tecnologie Multimediali

OTHER

• My web photo albums on on Google Picasa, on NGM MyShots, on Panoramio.
• Conferenza Brevetti e Software: tutela o freno dell'innovazione?
• Contro il DDL "Moratti": pagina informativa di Pisa, presentazione informativa, cosa ne pensano i rettori della regione.
• Il Coretôr Ortografic Furlan:
  • Per Windows: versione 1.2b
  • Per Mac OS X: prima scaricare e installare cocoAspell, e poi installare il dizionario per il friulano.
  • Per Linux: prima scaricare e installare aspell (se non ce l'avete già), e poi installate dizionario per il friulano.
• Cerca su fonti Rizzoli
  in enciclopedia nel dizionario di Italiano ---------------------- Italiano - Inglese Inglese - Italiano Italiano -Tedesco Tedesco - Italiano Italiano - Francese Francese - Italiano

Nowadays, there is by far too much noise on the net. Too much information is no information at all. So I'll try to keep these pages at the bare minimum.

I worry about my child and the Internet all the time, even though she's too young to have logged on yet. Here's what I worry about. I worry that 10 or 15 years from now, she will come to me and say "Daddy, where were you when they took freedom of the press away from the Internet?" -Mike Godwin