top of page
Questo sito è stato creato con la piattaforma
.com
. Crea oggi il tuo sito web.Inizia ora

Hello! I'm Loredana

I'm an italian researcher working in Theoretical Computer Science. Currently, I work at the University of Naples Federico II under the supervision of  Aniello Murano. I have been Ph.D. student in "Scienze Computazionali ed Informatichre" at the University of Naples "Federico II", working under the supervision of Aniello Murano.  In October 2011, I got the Master degree in Computer Science, working on a thesis titled "Concurrent Multi-Player Parity Games", developed under the supervision of Aniello Murano and Fabio Mogavero. In march 2007, I got the Bachelor degree in Computer Science, working on a thesis titled "DNA Forense", developed under the supervision of Filomena De Santis.

Loredana Sorrentino

Post-doc

​

Email:

loredana.sorrentino@unina.it 

 

Address:

Dipartimento di Ingegneria Elettrica e Tecnologie  dell'Informazione
Università degli Studi di Napoli "Federico II"
Via Claudio, 21
80125 Napoli, ITALY.

​

Date of Birth:

July 24th, 1983

​
Publications
Publcations

Journals

​

[4]   Cycle Detection in Computation Tree Logic.

       Special Issue of  GandALF 2016, Information and Computation (Accepted).

       Joint work with Gaëlle Fontaine, Fabio Mogavero, Aniello Murano and  Giuseppe Perelli.

​

[3]  Reasoning about Graded Strategy Quantifiers. 
      Special Issue of TIME 2015, Information and Computation (To appear).
      Joint work with Vadim Malvone, Fabio Mogavero and  Aniello Murano.

 

[2]   Additional Winning Strategies in Reachability Games .
       Special Issue of CILC 2015, Fundamenta Informaticae (To appear).
       Joint work with Vadim Malvone and Aniello Murano

​

[1]   On Promptness in Parity Games.

       Fundamenta  Informaticae (2015)

       Joint work with Fabio Mogavero and Aniello Murano.

​

Conferences

​

 

[11] Hiding Actions in Multi-Player Games.

       AAMAS 2017

       Joint work with Vadim Malvone and Aniello Murano.

​

[10] Parallel Parity Games: a Multicore  Attractor for the Zielonka Recursive Algorithm.

       ICCS 2017

       Joint work Rossella Arcucci, Umberto Marotta and Aniello Murano.

​

[9]   Hierarchical Cost-Parity Games.

       TIME 2017

       Joint work with Laura Bozzelli, Aniello Murano and  Giuseppe Perelli.

​

[8]   Concurrent Multi-Player Parity Games.

       AAMAS 2016

       Joint work with Vadim Malvone and Aniello Murano.

​

[7]   Hiding Actions in Concurrent Games.

       ECAI 2016: 1686-1687

       Joint work with Vadim Malvone and Aniello Murano.

      

[6]   Cycle Detection in Computation Tree Logic.

       GandALF 2016

       Joint work with Gaëlle Fontaine, Fabio Mogavero, Aniello Murano and  Giuseppe Perelli.

​

[5]   Games with additional winning strategies.

       CILC 2015:

       Joint work with Vadim Malvone and Aniello Murano.

​

[4]   On the Counting of Strategies.

       TIME 2015

        Joint work with Vadim Malvone, Fabio Mogavero and  Aniello Murano.

​

[3]   A Game-based Model for Human-robots Interaction.

       WOA 2015

       Joint work with Aniello Murano.

​

[2]  Solving Parity Games in Scala.

      FACS 2014

      Joint work with Antonio Di Stasio, Aniello Murano and  Vincenzo Prignano.

​

[1]  On Promptness in Parity Games.

      LPAR 2013

      Joint work with Fabio Mogavero and Aniello Murano.

Teaching
​
Teaching

​

NEWS:  la prova del 08/03/2019 si terrà alle ore 09:00 nel laboratorio Giove. 

​

​

​

​

​

​

-----------------------------------------------------------------------------------------

Il libro di riferimento per il corso è "Il linguaggio C. Fondamenti e tecniche di programmazione." di Paul J. Deitel and Harvey M. Deitel.

N.B. Non utilizzare le slide qui di seguito come unico materiale didattico. Esse  sono da intendersi solo come supporto allo studio!!!

-----------------------------------------------------------------------------------------

CALENDARIO DELLE LEZIONI

Primo Semestre

  • Prima Lezione: Introduzione al corso.

    • Primo programma in C, uso degli statement di input/output, fondamentali tipi di dati ed operatori aritmetici.

  • Seconda Lezione: Esercitazione in laboratorio sugli argomenti trattati in aula

  • Terza Lezione: Introduzione alle strutture di controllo.

  • Quarta Lezione: Esercitazione in laboratorio

  • Quinta Lezione: Lo statement di selezione IF ed introduzione ai cicli.

  • Sesta Lezione: Esercitazione in laboratorio

  • Settima Lezione: I cicli (I parte)

  • Ottava Lezione: Esercitazione in laboratorio

  • Nona Lezione: I cicli (II parte delle slide della settima lezione)

  • Decima Lezione: Esercitazione in laboratorio

  • Undicesima Lezione: Introduzione alle funzioni 

Secondo Semestre

  • Prima Lezione: Le funzioni (II parte) e la ricorsione. 

  • Seconda Lezione: Gli array (I parte)

  • Terza Lezione: Gli array (II parte)

  • Quarta Lezione: I puntatori (I parte)

  • Quinta Lezione: I puntatori (II parte+ Introduzione alle stringhe)

  • Sesta Lezione:  Le stringhe (Fare un'attenta lettura)

  • Settima Lezione: Introduzione alle strutture dati (Escludere la seconda parte del capitolo: quella a partire dalle unioni)e Liste semplici (I parte)

  • Ottava Lezione: Esercitazione in laboratorio.

  • Nona lezione: Liste semplici (II parte) e Pile.

  • Decima Lezione: Esercitazione in laboratorio + esempio di prova d'esame.

​

CONTACT
CONTACTS
bottom of page