Agostino Dovier-Teaching

Corsi di laurea triennale/magistrale tenuti attualmente presso l'Università di Udine

I semestre:
Automated Reasoning (6CFU). Laurea Magistrale in Artificial Intelligence & Cybersecurity (also for Informatica/Computer Science since 2016/17)
II semestre:
Fondamenti dell'Informatica (9CFU). Laurea triennale in informatica (dal 2010/2011).
I semestre: UniudXL:
Introduzione all'Intelligenza Artificiale" (aperto a tutti gli studenti dell'ateneo)

Feb 2024. Three pillars of computer science: formalizing an algorithm; assessing complexity; running a program Corso inderdisciplinare per tutti i dottorati udinesi.
Sep 2021. Course: Constraint Programming Autumn School on Logic and Constraint Programming, Porto, Portugal.
Nov/Dec 2018. Probabilistic Logic Programming (languages) and their applications. Dottorato di ricerca in Informatica e Scienze Matematiche e Fisiche-Udine (e Scuola Superiore di Udine - Seminari di Informatica)
Feb/Apr 2017. Intelligenza Artificiale (Automated Reasoning). (Scuola Superiore di Udine, e Dottorato di ricerca in Informatica e Scienze Matematiche e Fisiche-Udine)
Feb/Mar 2016. Metodi algebro-geometrici della crittografia. (Scuola Superiore di Udine, e Dottorato di ricerca in Informatica e Scienze Matematiche e Fisiche-Udine)
Nov/Dec 2015. Modeling Bioinformatics with Logic Programming (Dottorato di ricerca in Informatica e Scienze Matematiche e Fisiche-Udine)
June 2015. Semantics of Logic Programming (GULP summer school in Genova).
Sept 2012. Constraint Programming and Biology (ACP Summer School in Wroclaw-PL) Material
Fall 2011. Logic Programming, Knowledge Representation, and Non Monotonic Reasoning. (Dottorato di ricerca in Informatica-Udine)
Mag 2008. Corso di dottorato Vincoli NMR (Dottorato di ricerca in Informatica-Udine)
A.A. 2000/2001: Complementi di Algoritmica (Dottorato di Ricerca in Informatica-Verona).

Se siete interessati a delle TESI con me, guardate nei miei temi di ricerca e contattatemi via email.
La tesi dovrà essere scritta in LaTeX e consegnata completa al sottoscritto per la lettura 14 giorni prima della data di consegna in segreteria.
I lucidi per la presentazione (nel caso di magistrali) andranno preparati in beamer.

Dal 2002/2003 al 2017/2018. Teoria dell'Informazione e Crittografia. (LM Informatica)
Dal 2010/2011 al 2014/2015. Constraint Programming & Planning. (LM Informatica)
Nel 2015/2016: La programmazione logica come metodologia per la codifica e la risoluzione di rompicapi. Progetto PID-SU 2015-2016.
Dal 2014/15 al 2015/16. "Giochiamo con le proteine" attività all'interno del progetto Bioorientiamoci (scuola secondaria di primo grado).
Dal 2013/2014 al 2014/2015. Intelligenza Artificiale: codifica e risoluzione di rompicapi per il progetto lauree scientifiche.
Dal 2011/2012 al 2013/14. Codici Segreti: Un viaggio nella crittografia per il Progetto Lauree Scientifiche.
Dal 2002/2003 al 2009/2010. Fondamenti dell'Informatica 2 (CdL Informatica)
Dal 2003/2004 al 2008/2009. Linguaggi di Nuova Concezione (LS Informatica)
Dal 2001/2002 al 2006/2007 Informatica I (CdL Matematica). Algoritmi e Complessità (LS Informatica).
2001/2002 e 2002/2003. Reti e Alfabetizzazione Informatica. (SSIS)
2002/2003. Fondamenti dell'Informatica 1. (SSIS)
2001/2002. Laboratorio di Programmazione. (CdL TWM)
2001/2002. Sistemi di Elaborazione. (CdD Gorizia)

Fondamenti dell'Informatica Bollati-Boringhieri, 2020.
Con Andrea Formisano.
Programmazione Dichiarativa con Prolog, CLP, ASP, e CCP. (ultimo aggiornamento: 19 Novembre 2018)
A. Dovier.
Rudimenti di programmazione in C. Note per il corso di Informatica 1--Corso di Laurea in Matematica.

Home page