Inizio della pagina -
Logo dell'Università degli Studi di Milano-Bicocca
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
|Lista dei comandi|
|
Lista dei comandi
|
Versione ad elevata leggibilità
Dimensioni testo: rimpicciolisci testo | normalizza testo | ingrandisci testo  
|
Webmail docenti e personale
|
Webmail studenti
|
Wi-Fi
|
Menu Principale
|
Home
|
|
Ateneo
|
|
Facoltà
|
|
Dipartimenti
|
|
Ricerca
|
|
Personale
|
|
Bandi e concorsi
|
|
Ufficio Stampa
|
|
Albo
|
  
 | Mappa sito | Dove siamo | Muoversi nel Campus | Mappa dei feed | Rubrica		21 May 2012 - Go to chinese version - EN -
|Menu di navigazione|
Elenco Docenti
bsocial
unimib su facebook
bicocca su youtube
unimib su twitter
|Barra di navigazione|
Stampa
Sei in: Home > Elenco Docenti > BRAIONE PIETRO
|Contenuto della pagina|
BRAIONE PIETRO
|Modifica la scheda|
link alle sezioni della pagina:
Vai alla sezione 'Dipartimento' | Vai alla sezione 'Facoltà' | Vai alla sezione 'Edificio e stanza' | Vai alla sezione 'Corso di laurea in' | Vai alla sezione 'Corso di laurea magistrale in' | Vai alla sezione 'Aree tematiche di ricerca' | Vai alla sezione 'Pubblicazioni' |
Foto di BRAIONE PIETRO
Tel.: 02 6448 7915
pietro.braione@unimib.it
BRAIONE PIETRO
ricercatore
Settore scientifico disciplinare:
Settore INF/01 - Informatica
Dottore di ricerca in:
Ingegneria dell'Informazione, Politecnico di Milano
Dipartimento:
dipartimento di informatica sistemistica e comunicazione
Facoltà:
facolta' di scienze matematiche fisiche e naturali
Edificio e stanza:
U14-1008
Corso di laurea in:
Informatica
Corso di laurea magistrale in:
Informatica
Aree tematiche di ricerca:
  1. Ingegneria del software ed in particolare le metodologie di specifica e verifica di correttezza del software; la teoria dei linguaggi di specifica e di programmazione, la logica formale, il model checking.
  2. Machine learning e teoria statistica dell’apprendimento induttivo, e delle loro applicazioni industriali.
Parole chiave:
Informatica
Pubblicazioni:
  1. P. Braione, G.P. Picco (2004). “On Calculi for Context-Aware Coordination”. In: Proceedings of the 7th International Conference on Coordination Models and Languages (COORDINATION 2004), Lecture Notes in Computer Science, vol. 2949, pp. 38-54.
  2. C. Alippi, P. Braione (2006). "Classification Methods and Inductive Learning Rules: What We May Learn from Theory". In: IEEE Transactions on Systems, Man and Cybernetics, vol. 36, n.5, pp. 649-655.
  3. P. Braione, G. Denaro, B. Krena, M. Pezzè (2008). "Verifying LTL Properties of Bytecode with Symbolic Execution". In: Proceedings of the 3rd Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2008), Electronic Notes in Theoretical Computer Science, in pubblicazione.

  
|Vai al Inizio della pagina
|
|Fine dei contenuti|
|Lista degli approfondimenti|
Nessun approfondimento presente per questa pagina
Guida dello studente 2011/2012
Software con licenza campus per studenti
Bicocca Open Archive - archivio aperto della produzione scientifica d'Ateneo
BNewsTV, una finestra sul campus
servizi di orientamento di ateneo
Iscriviti alla newsletter!
  |Menu inferiore| • Aiuto • Credits • 
|
Lista dei comandi
|
Area redazionale •		  
© 2005-2012 Università degli Studi di Milano-Bicocca - Piazza dell'Ateneo Nuovo, 1 - 20126, Milano - tel. 02 6448 1
Casella Posta elettronica certificata: ateneo.unimib@legalmail.it
redazioneweb@unimib.it - ultimo aggiornamento di questa pagina 09/06/2008