Demis Ballis

Ricercatore
Email: demis.ballis@uniud.it
Stanza: SS14
Telefono: +39 0432 558484

Sito personale: 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.

Attività 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

Aree di ricerca dell'informatica

  • Linguaggi di programmazione
  • Metodi formali e applicazioni
  • Sistemi web e multimediali