6 — Albero di navigazione del sito 2 — Salta al contenuto

Università  degli Studi di Udine

Dipartimento di Matematica e Informatica - Università  degli studi di Udine
A | A | A   
Tu sei qui: Portale → Members → Demis Ballis

Dott. Demis Ballis

email:
Telefono +39 0432 558484
Stanza: SS14
 Sito web personale: http://www.dimi.uniud.it/demis


Breve curriculum

Laurea in Informatica (Graduate Degree in Computer Science) at the University of Udine, 2001.

PhD in Computer Science at the University of Udine, 2004.

Researcher in Computer Science at the University of Udine from January 2005.

Attivita' di ricerca

Functional Logic Programming
Term Rewriting Systems
Declarative Debugging
Machine Learning
Program Transformation
Automated Program Correction
Program and Data Verification for the World Wide Web
Dipartimento di Matematica e Informatica
via delle Scienze 206 - 33100 UDINE
Tel +39-0432-558400 - Fax +39-0432-558499
email: info chiocciola dimi punto uniud punto it