Research

Home	Publications	Research	Teaching	Talks

Research Experience
Apr 2011 - May 2011 - Visiting Fellow. TiLPS (Tilburg Center for Logic and Philosophy of Science), University of Tilburg. Tilburg, Netherlands. Aggregation in English: I have been trying to understand whether mathematical (and SQL) sums, counts and averages can be captured by Barwise and Cooper's theory of generalized quantifiers and determiners. Supervisor: Reinhard Muskens. Sep 2010 - Visiting Fellow. DCC (Computer Science Department), University of Chile. Santiago, Chile. Aggregate query languages: I studied certain answers-based evaluation techniques for SQL aggregate queries under incomplete information. Supervisor: Pablo Barceló. Jan 2009 - ... - Research Assistant. KRDB (Knowledge Bases Meet Databases) Centre, FUB. Bolzano, Italy. Data complexity: I have been studying families of declarative and interrogative controlled fragments of English that are data tractable and data intractable w.r.t. data access, declaration and updates. Supervisor: Diego Calvanese. Dec 2005 - Mar 2010 - PhD Student. KRDB Centre, FUB. Bolzano, Italy. Controlled languages: I studied the issue of data complexity in controlled languages. Supervisors: Diego Calvanese and Raffaella Bernardi. Jul 2005 - Sep 2005 - Intern. KMi (Knowledge Media Institute), Open University. Milton Keynes, UK. Web mining: I studied some unsupervised techniques for learning taxonomies of topics from web pages (CORDER project). Supervisors: Victoria Uren and Jianhan Zhu. Mar 2005 - May 2005 - Intern. LOA (Laboratory for Applied Ontology), CNR - Trento University. Trento, Italy. Foundational ontologies: I studied the logics related to BDI (belief, desire, intention) agents with the scope of building an ontology of agents. Supervisor: Claudio Masolo. Apr 2004 - Sep 2004 - Intern. LIPN (Laboratoire d'Informatique de Paris Nord), CNRS - Paris 13. Villetaneuse, France. Master thesis: I studied the learnability conditions in Gold's model of categorial module grammars. Supervisor: Denis Béchet.
Projects
2012 - 2014 - VeriClig: Formal Extraction and Verification of Guidelines (FUB). This internally funded project aims at enhancing medical guideline authoring tools by means of formal verifications techniques and information extraction. Principal Investigator: D. Calvanese. 2010 - 2013 - Net2: A Network for Enabling Networked Knowledge (FP7-247601). This project was devoted to the study of the logical foundations of semantic technologies, and their relationaship with database theory. Among other duties, I prepared a tutorial on controlled language interfaces to description logic ontologies at the University of Chile. I have also done some coordination regarding the hosting and arrival of FUB investigators to the University of Chile. Project partners: FUB (Italy), University of Chile and Pontifical University of Chile (Chile), Meraka Institute (South Africa), DERI (Ireland), TU Vienna (Austria), TU Delft (Netherlands), Koblenz University (Germany), Pontifical University of Rio (Brazil), Shanghai Jiao Tong University (China). Principal Investigator (at FUB): E. Franconi. 2005 - 2008 - Tones: Thinking Ontologies (FP6-7603). This project was devoted to the development of description logic- and ontology-based relational data integration query answering techniques. Principal Investigator: D. Calvanese
Education
Dec 2005 - Mar 2010 - PhD in Computer Science, FUB. Bolzano, Italy. Oct 2001 - Aug 2004 - MSc in Computer Science, Paris 1 Panthéon-Sorbonne/Paris 13 Paris Nord University. Paris/Villetaneuse, France. Oct 2000 - Aug 2001 - BSc in Mathematical Logic, Paris 1 Panthéon-Sorbonne University. Paris, France. Mar 1992 - May 1998 - BA in Philosophy, Pontifical Catholic University of Peru (PUCP). Lima, Peru.
Links
OpenNLP homepage (NLP open source tools). Mathematical Logic Around the World. Description Logics. Blackburn and Bos's classical page on computational semantics. A cool guide to CSS and XHTML. The New Yorker magazine. Stanford Encyclopaedia of Philosophy.