Vai alla Home Page About me Courseware Federica Living Library Federica Federica Podstudio Virtual Campus 3D Le Miniguide all'orientamento Gli eBook di Federica La Corte in Rete
 
La Living Library di Scienze MM.FF.NN I corsi di Scienze MM.FF.NN
 
Le informazioni su questo Corso L'indice di tutte le lezioni Informazioni sulla Cattedra

Scienze Matematiche Fisiche e Naturali » Fondamenti di Linguaggi di Programmazione, Aniello Murano

Il Corso

Programma

L’obiettivo del corso è quello di fornire i modelli formali necessari per capire il comportamento di un programma e ragionare su di esso.
Vengono dunque presentate le nozioni matematiche, le tecniche ed i concetti sui quali si fonda la semantica formale dei linguaggi di programmazione.

Testi d'esame

  • Glynn Winskel "La semantica Formale dei Linguaggi di Programmazione" the MIT Press, 1993. Traduzione italiana a cura di Franco Turini.
  • John C. Mitchell, "Foundations for Programming Languages", MIT Press, 1996.
  • Benjamin Pierce. "Types and Programming Languages", MIT Press, 2002.
  • Robin Milner, “"Communication and Concurrency", Prentice Hall, 1989

La Cattedra

Aniello Murano

Prof. Aniello Murano

E’ ricercatore universitario in Informatica dal 2005 presso la Sezione di Informatica del Dipartimento di Scienze Fisiche dell’Università “Federico II”. L’attività di ricerca riguarda i linguaggi formali, gli aspetti formali di specifica e verifica di sistemi hardware e software, il model checking, la verifica di sistemi aperti, la teoria dei giochi, la teoria degli automi, le logiche temporali sia discrete che in tempo denso. Consegue la laurea in Scienze dell’Informazione con voto di 110/110 con lode nel 1997, presso l’Univ. di Salerno. Presso la stessa università consegue, nel Maggio 1999, il Master in Metodologie Telematico-Multimediali con il voto di 100/100 e, nel Febbraio 2003, il dottorato di Ricerca in Informatica, discutendo una tesi sulla teoria dei giochi. Durante il dottorato, Aniello Murano è Visiting Scholar presso la Rice University di Houston (TX-USA) per un anno, sotto la supervisione della Prof. M. Y. Vardi. Dal 2003 al 2004 è post-doc presso la Hebrew University di Gerusalemme sotto la supervisione della Prof. O. Kupferman. È supervisore scientifico di studenti di dottorato e di master. È autore di circa 40 lavori scientifici.

Curriculum completo

Anagrafica del corso

  • Scienze Matematiche Fisiche e Naturali, Università degli Studi di Napoli Federico II
  • Corsi di laurea: Informatica
  • Anno accademico: 2008/2009
  • Sede del corso: Complesso Universitario di Monte S. Angelo Via Cinthia

Contatti

Indirizzo: Complesso universitario di Monte Sant'Angelo, Via Cintia, 21, Napoli (NA) - 80126

Telefono: 081.679279. Sito Web

  • Contenuti protetti da Creative Commons
  • Feed RSS
  • Condividi su FriendFeed
  • Condividi su Facebook
  • Segnala su Twitter
  • Condividi su LinkedIn
Progetto "Campus Virtuale" dell'Università degli Studi di Napoli Federico II, realizzato con il cofinanziamento dell'Unione europea. Asse V - Società dell'informazione - Obiettivo Operativo 5.1 e-Government ed e-Inclusion