Mar 172017
 

Avviso di seminario: lunedi 27 Marzo 2017 alle ore 16.00, nell’aula F presso il Dipartimento di Matematica ed Informatica dell’Università di Cagliari si terrà il seguente seminario.

Discrimination Discovery Exploiting Ontologies

Prof. Franco Turini, University of Pisa

Discrimination discovery from data consists of designing data mining methods for the actual discovery of discriminatory situations and practices hidden in a large amount of historical decision records. Approaches based on classification rule mining consider items at a flat concept level, with no exploitation of background knowledge on the hierarchical and inter-relational structure of domains. On the other hand, ontologies are a widespread and ever increasing means for expressing such a knowledge. In this talk, we propose a framework for discrimination discovery from ontologies, where contexts of prima-facie evidence of discrimination are summarized in the form of generalized classification rules at different levels of abstraction. Throughout the talk, we adopt a motivating and intriguing case study based on discriminatory tariffs applied by the U.S. Harmonized Tariff Schedules on imported goods.

About the speaker: Franco Turini is currently a full professor in the Department of Computer Science of the University of Pisa, where he also served as Department Chairman. In 78/80 he has been a visiting scientist of the Carnegie-Mellon University (Pittsburgh) and of the IBM Research Center S.Jose, afterwards. In 92/93 he has been visiting professor at the University of Utah.

He has been coordinator of the “Meta- and non-monotonic reasoning area” (BRA Esprit Action No 6810 “Compulog II”) and several other projects including the 2007 Italian PRIN “Anonimo”, focusing on methods for anonymity and privacy protection. He co-edited with Krzysztof Apt a book entitled Meta-logics and Logic Programming, published by The MIT Press, and also editor of Springer and IEEE Proceedings.

His research interests include programming languages design and implementation, formal semantics, and methods for preserving privacy and anomymity.

Contact: Maurizio Atzori, atzori@unica.it – Dipartimento di Matematica ed Informatica, Università di Cagliari

Mar 042015
 

Maurizio Atzori, ricercatore del nostro Dipartimento, è risultato vincitore del Google Faculty Research Award, insieme con il prof. Carlo Zaniolo, professore della University of California in Los Angeles.

Il bando competitivo per progetti di ricerca dell’azienda di Mountain View ha cadenza biannuale e si propone di premiare idee innovative nel campo dell’Informatica e discipline affini. Su 808 proposte, Google ha deciso di finanziarne 122.

Il progetto del nostro ricercatore ha lo scopo di creare interrogazioni strutturate ai motori di ricerca tramite il linguaggio naturale, una evoluzione del lavoro sul sistema SWIPE (Searching Wikipedia by Example).

Complimenti dal Dipartimento a Maurizio e Carlo.

Maggiori Informazioni

 

Ott 242012
 
The PRIN 2010-11 project "Security Horizons" has been funded by the MIUR, with D. D. 23.10.2012 n. 719. National coordinator: Pierpaolo Degano Local coordinator: Massimo Bartoletti Abstract.Society increasingly depends on complex ecosystems of interacting software components. The number and variety of security-critical applications that rely on these systems has also grown over the years, and this trend will foreseably continue in the future. Despite of the applications being security-critical, they are still far from being secure: every day security researchers (and, more dangerously, hackers) discover new attacks to these systems. While perfect security is not a reachable goal, the current situation where security is intended as a marketing word and not as a concrete guarantee, can and must be improved. Unfortunately, the problem of realizing software components that securely interact in an insecure environment is extremely hard to solve. This has many causes, among which the heterogeneity of the software components, the fact that they are controlled by different entities with possibly conflicting goals, the fact that attacks may take an unpredictable variety of different forms, etc. A reasonable goal is to focus on some specific security properties, and prove that they are enjoyed by the application, even in the presence of attackers. This requires the development of new techniques to design, analyse, and implement software components. We are confident that Security Horizons will lead to an important advancement in that direction. This project aims at developing a rigorous methodology and a language-based framework that will provide formal methods to support software engineers when they design, implement and maintain secure systems. This support will span all the software development phases: specification, design, implementation, validation, including verification and testing. To this end, we will study models and specification languages that allow one to formally express the many facets of online services and of their hosting infrastructures.
Ago 042012
 
The project Social Glue: A Modular Development Platform for Community-Oriented Services has been funded (RAS grant P.O. FESR 2007/2013 – Bando Pacchetti Integrati di Agevolazione “Industria, Artigianato e Servizi” 2010).

The Social Glue project aims at studying and experimenting new specification, analysis and development techniques for Web communities. Specific goals include:

  • Models, policies and mechanisms for enforcing security and privacy properties;
  • Study of collective behaviour which regulate the dynamics of Web communities;
  • Modular development techniques and tools for Web communities;
  • Interaction and integration with mobile platforms

A concrete artifact of our research will be an open-source software platform for the development of community-oriented services.

credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar