Research

Computer Science

Topics

Programming Languages

Artificial Intelligence

  • Machine learning, pattern recognition, neural networks and kernel methods for structured data, bioinformatics, learning in games, data and business process mining, QSAR studies, time series prediction, information and document retrieval
    Fabio AIOLLI, Alessandro SPERDUTI
  • Reasoning with preferences: knowledge representation, constraint satisfaction and optimization, preference modeling, elicitation and aggregation, multi-agent systems, computation social choice
    Francesca ROSSI, Kristen Brent VENABLE

Systems

Faculty

Other Researchers

Groups and Projects

  • ARCo, 2009-2012 Project financed by MIUR - PRIN. "Analysis of Reduction systems through Concurrent behavioural models (ARCo)" (Local coordinator: P. Baldan)
  • ASSERT (2004-8), VI European Framework Programme VI European Commission Framework Programme (principal investigator: T. Vardanega)
  • BECOM, 2011-13. Project funded by the University of Padova. "Behavioral Equivalences of COncurrent systems by abstract interpretation and Modal logics" (Principal investigator F. Ranzato)
  • CHESS (2009-11), Programme ARTEMIS/EC ARTEMIS JTI Programme (principal investigator: T. Vardanega)
  • Commercial contract financed by Confindustria Padova and NEI S.p.A., 2011-2012 "Social Network con4you", (Principal Investigator: O. Gaggi)
  • Commercial contract financed by Stuffer SpA, 2009, "Studio e realizzazione di un software basato su apprendimento automatico per l'analisi e la predizione del numero di ordini", (Design and implementation of a machine learning based software for the analysis and prediction of orders) (F. Aiolli, A. Sperduti)
  • Commercial contract financed by the company Miriade, 2012, "A contraint-based scheduler" (principal investigator F. Rossi)
  • Contract finaced by Eurosystem (Villorba, TV), 2009-2010 "Education on methodologies of Business Process Management and on service-oriented architecture and test-driven software development" (principal investigator A. Sperduti, T. Vardanega)
  • contract financed by the company Allos, 2011, "Schedulazione i corsi aziendali" (Scheduling company courses) (principal investigator F. Rossi)
  • Contratto commerciale finanziato dalla società Eurosystem (Villorba, TV) (2010-2012) "Development of software prototypes of advanced ERP functions", principal investigator: T. Vardanega
  • Excellence Project CARIPARO "A computational approach to the study of skeletal muscle genomic expression in health and disease" (2007-2009) (M. Marchiori)
  • PROARTIS (2010-2013) VII European Commission Framework Programme (principal investigator: T. Vardanega)
  • Progetto di distretto informatico finanziato dalla Regione Veneto (BIT4M, 2009-2010) "Business and Information Technology for Management" (principal investigator: C. Palazzi, A. Sperduti, T. Vardanega)
  • Progetto di distretto informatico finanziato dalla Regione Veneto (ProSyGo, 2010-2011) Processes and Systems Governance (principal investigators: C. Palazzi, A. Sperduti, T. Vardanega)
  • Progetto di distretto informatico finanziato dalla Regione Veneto (SOA & BPA, 2008-2009) "Service-Oriented Architecture and Business Performance Analysis" (principal investigator: A. Sperduti, T. Vardanega)
  • Project financed by the Italian Ministry of University and Research, MIUR/PRIN, 2011-2013 "ALTER-NET: Altruism Enabling Resource NETwork" (Principal Investigator: C. E. Palazzi)
  • Project financed by the the University of Padova, 2011-2012 "Accessibility and Inclusion through Web Squared Technology" (Principal Investigator: C. E. Palazzi)
  • Project financed by the the University of Padova, 2012-2013, "Intelligent Preference reasoning for multiagent decision making" (principal investigator F. Rossi)
  • Project financed by the University of Padova, 2006-09, "Formal methods for specifying and verifying behavioral properties of software systems" (Principal investigator S. Crafa)
  • Project financed by the University of Padova, 2009-10 "Analisi, Verifica e Interpretazione Astratta di Modelli per la Concorrenza (AVIAMO)", (Analysis, verification and abstract interpretation of models of concurrency) (Principal investigator P. Baldan)
  • Project financed by the University of Padova, 2009-10, "Metodi di integrazione di conoscenza a priori in algoritmi di apprendimento basati su kernel per l'identificazione robusta di biomarcatori in genomica", (Methods for the integration of background knowledge in kernel-based learning algorithms for the robust identification of biomarkers in genomics) (F. Aiolli)