Marina Lenisa

Marina Lenisa

professore associato

Bio e CV

Didattica

Anno accademico 2018-2019

Anno accademico 2017-2018

  • FORMAL METHODS
    Corso di studio: Computer Science (LM) | CFU: 6 | Periodo: Secondo Periodo
  • LANGUAGES AND COMPILERS
    Corso di studio: Computer Science (LM) | CFU: 9 | Periodo: Secondo Periodo
  • SEMANTICS AND CONCURRENCY
    Corso di studio: Computer Science (LM) | CFU: 9 | Periodo: Primo Periodo
  • SISTEMI OPERATIVI E LABORATORIO
    Corso di studio: Informatica (L) | CFU: 12 | Periodo: Annualità Singola
  • TEORIA DELLA CONCORRENZA
    Corso di studio: Informatica (LM) | CFU: 6 | Periodo: Primo Periodo
  • METODI FORMALI E LOGICA PER L'INFORMATICA – MODULO 2
    Corso di studio: Informatica (LM) | CFU: 6 | Periodo: Secondo Periodo
  • LINGUAGGI E COMPILATORI
    Corso di studio: Informatica (LM) | CFU: 9 | Periodo: Secondo Periodo
  • SEMANTICA E CONCORRENZA
    Corso di studio: Informatica (LM) | CFU: 9 | Periodo: Primo Periodo

Anno accademico 2016-2017

  • LINGUAGGI DI PROGRAMMAZIONE
    Corso di studio: Informatica (L) | CFU: 9 | Periodo: Primo Periodo
  • SISTEMI OPERATIVI E LABORATORIO
    Corso di studio: Informatica (L) | CFU: 12 | Periodo: Annualità Singola
  • METODI FORMALI E LOGICA PER L'INFORMATICA – MODULO 2
    Corso di studio: Informatica (LM) | CFU: 6 | Periodo: Secondo Periodo