|
|
|
|
|
|
DIDATTICA
Corso di
FONDAMENTI DI INFORMATICA
A.A. 2008-2009
Dal corrente anno accademico 2008/2009 è entrato in vigore il D.M. 22 ottobre 2004 n. 270, che sostituisce il previgente ordinamento (apportando alcuni correttivi) e in particolare un nuovo corso di Fondamenti di Informatica (corso annuale di 15 crediti) per gli studenti del I anno
Per informazioni sul corso di
Fondamenti di Informatica
(A.A. 2008-2009)
accedere al sito web
http://www.dia.uniroma3.it/~java/fondinf
I corsi di Laboratorio di Informatica, Fondamenti di Informatica 1 e Fondamenti di Informatica 2 del previgente ordinamento non sono attivi nel corrente anno accademico
Gli studenti immatricolati nei precedenti anni accademici e che devono ancora sostenere uno o più di tali esami potranno sostenerli secondo un apposito calendario
Per informazioni sul corso di Laboratorio di Informatica
(A.A. 2007-2008) accedere al sito web
http://www.dia.uniroma3.it/~java/labinf
Per informazioni sul corso di Fondamenti di Informatica 1
(A.A. 2007-2008) accedere al sito web
http://www.dia.uniroma3.it/~java/fondinf1
Per informazioni sul corso di Fondamenti di Informatica 2
(A.A. 2007-2008) accedere al sito web
http://www.dia.uniroma3.it/~java/fondinf2
RICEVIMENTO STUDENTI
Il Prof. Miola riceve gli studenti il
Giovedì dalle 14.00 alle 16.00
CURRICULUM VITAE
TITOLO DI STUDIO
POSIZIONE ATTUALE
ATTIVITà DIDATTICA
ATTIVITà ORGANIZZATIVA ISTITUZIONALE
ATTIVITà DI RICERCA
§ Area di ricerca prevalente - L'area di ricerca prevalente è l’Intelligenza Artificiale e il Calcolo Algebrico e Simbolico. L'area, tipicamente interdisciplinare, comprende aspetti di tipo strettamente metodologico (relativamente alla logica matematica e alla teoria degli algoritmi e strutture dati, alla teoria ed alle metodologie della programmazione, all'algebra astratta e computazionale costruttiva), di tipo ingegneristico e progettuale (relativamente alla progettazione ed implementazione di linguaggi, di sistemi ed ambienti software), di tipo applicativo (relativamente a vari campi delle scienze e dell'ingegneria in cui si utilizzano metodi e strumenti tipici dell'area, con particolare riferimento al campo della matematica applicata). L'attività di ricerca sviluppata ricopre tutti questi aspetti, ed in particolare:
- il progetto e l'analisi di metodi, algoritmi e strutture di dati per la soluzione di problemi algebrici ed analitici, e per la progettazione ed implementazione di linguaggi e sistemi software
- la progettazione ed implementazione di linguaggi e sistemi software, con prevalente interesse per l'integrazione di componenti di calcolo algebrico e di calcolo numerico, a partire da studi di tipo teorico sulla semantica dei due paradigmi di calcolo
- la definizione di metodologie di specifica astratta di software per metodi computazionali nel campo algebrico ed analitico, con prevalente interesse per problemi di computazioni approssimate
§ Sistemi innovativi in rete - Le ricerche effettuate in questo settore riguardano lo studio, la realizzazione e la sperimentazione di sistemi software in grado di fornire strumenti innovativi per la gestione di dati in ambito dei servizi applicativi in rete. Le tecnologie informatiche adottate sono caratterizzate da aspetti di integrazione, sicurezza e facilità di fruizione degli strumenti proposti. Le ricerche sviluppate hanno consentito l’integrazione di molti dei risultati teorici e sperimentali conseguiti nelle varie tematiche affrontate.
§ Altre attività
- Responsabile di vari progetti di ricerca nazionali ed internazionali
- Chairman e membro di Comitati di Programma di vari convegni scientifici nazionali ed internazionali
- Membro dell'Editorial Board del Journal of Symbolic Computation dell'Academic Press
- Membro delle associazioni ACM, AICA, AI*IA, IEEE.
ATTIVITà DI CONSULENZA
PRINCIPALI PUBBLICAZIONI
A.Miola: "Functional programming approach to modularity in large software systems", in Advanced Programming Methodologies, Academic Press, (1989).
A. Miola, T. Mora: "Constructive Lifting in Graded Structures: a unified view of Buchberger and Hensel methods", Academic Press, Journal of Symbolic Computation vol. 6, n.2/3, (1989).
A.Miola: "Computing tools today", in Computing tools for scientific problem solving, Academic Press (1990).
A. Miola: "Symbolic Computation and Artificial Intelligence"", Springer Verlag LNCS, 535: 244-255, (1991).
C.Limongelli, A.Miola, M.Temperini: "Design and Implementation of Symbolic Computation Systems", in Programming Environments for High-Level Scientific Problem Solving, P.W.Gaffney and E.N.Houstis (eds.), pp. 217-226, North-Holland, (1992).
L.Carlucci Aiello, A.Colagrossi, A.Micarelli, A.Miola: "Building the Expert Module for ITS in Mathematics: A General Reasoning Apparatus", in Mathematical Intelligent Learning Environments, H. S. Nwana (Ed.), Intellect Books, Oxford (1993).
C.Limongelli, A.Miola: "Elaborazione Algebrica e Simbolica"", in Manuale di Informatica, G.Cioffi e D.Falzone (a cura di), Calderini, (1993).
A.Miola: "Symbolic Computation Systems", in Encyclopedia of Computer Science and Technology, A.Kent and J.G.Williams (Eds.), Marcel Dekker, (1993).
G.Cioni, A.Colagrossi, A.Miola: "A Desk-Top Sequent Calculus Machine", Springer Verlag LNCS, 737: 224-236 (1993).
A. Miola: "Discussion on The Use of Mental Imagery in Thinking by Herbert Simon", Edizioni Scientifiche Italiane, (1994).
G. Cioni, A.Colagrossi, A.Miola: "A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems", Journal of Symbolic Computation, 19: 175-199, Academic Press, (1995).
G. Cioni, A. Colagrossi, A. Miola: “Deduction and abduction using a sequent calculus” in: Advances in the Design of Symbolic Computation Systems", A. Miola e M. Temperini (Eds), RISC Series in Symbolic Computation, Springer-Verlag, (1997).
A. Colagrossi, C. Limongelli, A. Miola: “P-adic arithmetic: a tool for error-free computations”, in: Advances in the Design of Symbolic Computation Systems, A. Miola e M. Temperini (Eds), RISC Series in Symbolic Computation, Springer-Verlag, (1997).
A. Miola: “An Overview of TASSO Project”, in: Advances in the Design of Symbolic Computation Systems, A. Miola e M. Temperini (Eds), RISC Series in Symbolic Computation, Springer-Verlag, (1997).
