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 Ingegneria del software (2012/2013)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2012/2013)   6    6 
Laurea in Informatica Ingegneria del software (2011/2012)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2011/2012)   6    6 
Laurea in Informatica Ingegneria del software (2010/2011)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2010/2011)   6    6 
Master in Computer game development Fundamentals of Software Engineering (2009/2010)   4    4 
Laurea in Informatica Ingegneria del software (2009/2010)   6    6 
Laurea in Informatica Logica per informatica (2009/2010)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche 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 

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA.

MyUnivr
 

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 Ingegneria del Software e Sicurezza
Formal methods and theory of security
Network security Development of techniques and tools for the security of computer networks Ingegneria del Software e Sicurezza
Network security
Protezione del software Sviluppo di tecniche formali e strumenti per la protezione del software. Ingegneria del Software e Sicurezza
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 Ingegneria del Software e Sicurezza
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 Sicurezza
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 Sicurezza
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