Tesi di Laurea Magistrale in Informatica

Details
Category: News
Last Updated on Monday, 10 September 2018 14:07

Nel framework dei progetti di ricerca finanziati da ESA e dalla Comunità Europea sono disponibili tesi di laurea specialistica su algoritmi e tools per la verifica e sintesi automatica di sistemi reattivi.

Il focus attuale è Smart Grids e System Biology.

Per candidarsi al gettone premio è necessario possedere i seguenti requisiti:

  1. Aver superato l'esame di Verifica Automatica.
  2. Avere una media di almeno 27/30.

Contattare

Prof. Enrico Tronci
Università di Roma "La Sapienza"
Dipartimento di Informatica
Via Salaria 113
I-00198 Roma RM, Italy
mail: This email address is being protected from spambots. You need JavaScript enabled to view it.