Luca Vigano'

  1. Home
  2. Dipartimento
  3. Persone
  4. Luca Vigano'
Luca Vigano`, 7 ottobre 2007
E-mail
luca|vigano*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
30 novembre 2022
Qualifica
Incaricato alla ricerca

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 23.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica [L-31] Ingegneria del software (2012/2013)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sicurezza delle reti (2012/2013)   6    6 
Laurea in Informatica [L-31] Ingegneria del software (2011/2012)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sicurezza delle reti (2011/2012)   6    6 
Laurea in Informatica [L-31] Ingegneria del software (2010/2011)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sicurezza delle reti (2010/2011)   6    6 
Master in Computer game development Fundamentals of Software Engineering (2009/2010)   4    4 
Laurea in Informatica [L-31] Ingegneria del software (2009/2010)   6    6 
Laurea in Informatica [L-31] Logica per informatica (2009/2010)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sicurezza delle reti (2009/2010)   6    6 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architetture software (2008/2009)   10    1  Laboratorio modulo II
1  Laboratorio modulo I
4  Teoria modulo I
4  Teoria modulo II
Laurea specialistica in Informatica Sicurezza delle reti e dei sistemi (2008/2009)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architetture software (2007/2008)   10    4  Teoria modulo I
1  Laboratorio modulo II
4  Teoria modulo II
1  Laboratorio modulo I
Laurea specialistica in Informatica Sicurezza delle reti e dei sistemi (2007/2008)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architetture software (2006/2007)   10    4  Teoria (modulo I)
4  Teoria (modulo II)
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Reti di calcolatori (2006/2007)   5    5 

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Gruppi di ricerca

REGIS: Research Group in Information Security
Studio e sviluppo di metodologie formali per l'analisi, l'ottimizzazione, la certificazione, la robustezza e la sicurezza di sistemi software complessi
Competenze
Argomento Descrizione Area di ricerca
Formal methods and theory of security Development of formal, and possibly automated, methods for the analysis of the security of software systems Sicurezza informatica
Formal methods and theory of security
Network security Development of techniques and tools for the security of computer networks Sicurezza informatica
Network security
Protezione del software Sviluppo di tecniche formali e strumenti per la protezione del software. Sicurezza informatica
Formal methods and theory of security
Software and application security Development of security methodologies and technologies for the security of software systems and Internet applications Sicurezza informatica
Software and application security
Software creation and management Study and development of formal and semi-formal methodologies and technologies for the creation and management of software systems Ingegneria del Software e verifica formale
Software creation and management
Verifica del software Procedure di decisione per la soddisfacibilità modulo teorie e loro applicazione alla verifica di proprietà di programmi; generazione di invarianti mediante dimostrazione di teoremi; generazione di interpolanti mediante dimostrazione di teoremi; raffinamento di astrazioni per model checking o analisi statica mediante dimostrazione di teoremi Ingegneria del Software e verifica formale
Software creation and management
Progetti
Titolo Data inizio
Security Horizons 01/02/13
Generalizing Truth-Functionality: GeTFun 01/01/13
GeTFun: Generalizing Truth-Functionality 01/01/12
SPaCIoS: Secure Provision and Consumption in the Internet of Services 01/10/10
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) 22/09/08
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures 01/01/08
Metodi formali per security engineering - CoperInt 2006 01/10/07




Organizzazione

Strutture del dipartimento

Condividi