Ugo Solitro

Ugo Solitro,  12 settembre 2015
Qualifica
Ricercatore
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 79
Telefono
+39 045 802 7977
E-mail
ugo|solitro*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~solitro

Orario di ricevimento

martedì, Ore 14.00 - 16.00,   Ca' Vignal 2, piano 1, stanza 77

  • Durante il periodo di lezione, quando la situazione lo richiede, il ricevimento studenti può svolgersi anche in un aula (definita di volta in volta) per consentire di parteciparvi a più studenti in contemporanea; questa eventualità verrà segnalata mediante opportuni avvisi.
  • Durante le sessioni d'esame e nei periodi in cui le lezioni tacciono il ricevimento studenti potrà subire variazioni o svolgersi in forma ridotta; in particolare nel mese di agosto è generalmente sospeso.

Curriculum

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Mathematics Mathematical methods for computer science (2023/2024)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2023/2024)   12  eLearning (Teoria)
Laurea magistrale in Mathematics Mathematical methods for computer science (2022/2023)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2022/2023)   12  eLearning
Laurea magistrale in Mathematics Mathematical methods for computer science (2021/2022)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2021/2022)   12  eLearning
Laurea magistrale in Mathematics Mathematical methods for computer science (2020/2021)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2020/2021)   12  eLearning (Teoria)
Laurea magistrale in Mathematics Mathematical methods for computer science (2019/2020)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2019/2020)   12  eLearning (Teoria)
Laurea magistrale in Mathematics Mathematical methods for computer science (2018/2019)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2018/2019)   12  eLearning (Teoria)
Laurea magistrale in Mathematics Mathematical methods for computer science (2017/2018)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2017/2018)   12  eLearning 12 
Laurea magistrale in Mathematics Mathematical methods for computer science (2016/2017)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2016/2017)   12  eLearning 12 
Laurea magistrale in Mathematics Mathematical methods for computer science (2015/2016)   6    (Teoria 1)
(Teoria)
Laurea in Matematica Applicata Programmazione con laboratorio (2015/2016)   12    12 
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2014/2015)   6    FONDAMENTI
PAS C310 - Laboratorio di Informatica Industriale Fondamenti e programmazione (2014/2015)   4    FONDAMENTI
Laurea magistrale in Mathematics Mathematical methods for computer science (2014/2015)   6   
Laurea in Matematica Applicata Programmazione con laboratorio (2014/2015)   12    (Laboratorio)
(Teoria)
PAS A042 - Informatica Fondamenti e programmazione (2013/2014)   6    DIDATTICA (E-learning)
PAS C300 - Laboratorio di Informatica Gestionale Fondamenti e programmazione (2013/2014)   4    COMPLEMENTI
PAS A042 - Informatica Fondamenti e programmazione (2013/2014)   6    DIDATTICA (Teoria)
FONDAMENTI (E-learning)
FONDAMENTI (Teoria)
Laurea in Matematica Applicata Programmazione con laboratorio (2013/2014)   12    (Laboratorio)
(Teoria)
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2012/2013)   6    MODULO B
MODULO A (Laboratorio)
MODULO A (Teoria)
Laurea in Scienze dell'educazione Informatica di base (teoria) (2012/2013)   2   
Laurea magistrale in Mathematics Metodi matematici per l'informatica (2012/2013)   6    (Parte 1)
Laurea in Matematica Applicata Programmazione con laboratorio (2012/2013)   12    (Teoria)
Laurea in Scienze dell'educazione Informatica di base (teoria) (2011/2012)   2   
Laurea magistrale in Mathematics Metodi matematici per l'informatica (2011/2012)   6    (Parte 1)
Laurea in Matematica Applicata Programmazione con laboratorio (2011/2012)   12    (Laboratorio)
(Teoria)
Laurea in Matematica Applicata Programmazione con laboratorio (2010/2011)   12    (Teoria)
(Laboratorio)
Laurea in Matematica Applicata Programmazione con laboratorio (2009/2010)   12    (Laboratorio)
(Teoria)
Laurea in Scienze delle attività motorie e sportive - ordinamento fino all'a.a. 2007/2008 Abilità relazionali (II anno professionalizzante) (2008/2009)   2    Informatica
Laurea in Scienze delle attività motorie e sportive - ordinamento fino all'a.a. 2007/2008 Abilità relazionali (II anno scientifico) (2008/2009)   6    Informatica
Laurea in Scienze dell'educazione Informatica di base (teoria) (2008/2009)   2     
Laurea specialistica in Informatica Linguaggi funzionali (2008/2009)   5    Laboratorio
Teoria
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2008/2009)   10    Programmazione (laboratorio)
Programmazione (teoria)
Laurea in Scienze dell'educazione (triennale) - ordinamento fino all'a.a. 2007/2008 Informatica [indirizzo per l'educazione socio culturale] (2007/2008)   4   
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2007/2008)   5    Laboratorio
Teoria
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2007/2008)   10    Programmazione (laboratorio)
Programmazione (teoria)
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2006/2007)   8   
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2006/2007)   10    Programmazione
Programmazione (laboratorio)
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2005/2006)   8   
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2005/2006)   5   
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2005/2006)   10    Laboratorio
Teoria
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2004/2005)   8     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base [Sezione B] (2004/2005)   4      Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Sezione B] (2004/2005)   12      Teoria
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2003/2004)   8     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base [Tecnologie e Informatica (A-F)] (2003/2004)   4      Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Tecnologie e Informatica (A-F)] (2003/2004)   12      Teoria
Laurea specialistica in Informatica Semantica (2003/2004)   5     
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2002/2003)   8     
Laurea specialistica in Informatica Linguaggi funzionali (2002/2003)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Tecnologie e Informatica (A-F)] (2002/2003)   12      Teoria
Laurea in Informatica (vecchio ordinamento) Linguaggi funzionali (2001/2002)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione (2001/2002)   12      Teoria
Laurea in Informatica (vecchio ordinamento) Algoritmi e strutture dati (2000/2001)   2     
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica: semantica e teoria dei tipi (2000/2001)   1     
Laurea in Informatica (vecchio ordinamento) Algoritmi e strutture dati (1999/2000)   2     
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica: semantica e teoria dei tipi (1999/2000)   1     

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: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 
Competenze
Argomento Descrizione Area di ricerca
Semantica di programmi Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. Informatica teorica
Semantics and reasoning
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Informatica teorica
Formal languages and automata theory
Progetti
Titolo Data inizio
Programmazione informatica e processi cognitivi. 01/06/16
Emozioni di riuscita in studenti di scuola primaria, secondaria e universitari 01/01/13
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) 30/11/04
Tecniche e modelli per l'analisi e la specifica di proprieta' di sicurezza di sistemi mobili. (2001) 01/01/01
Analisi di sistemi distribuiti e mobili con interpretazione astratta e sistemi di tipo (2000) 01/01/00




Organizzazione

Strutture del dipartimento

Condividi