This is the academic web site of Rosella Gennari. In this page you find my: contact details; research interests; my academic resume.
For those interested, here goes my compact CV, as pdf file.
CS Faculty, FUB
via della Mostra 4, 39100 Bolzano, Italy.
+39 0471 016.964.
Fax: +39 0471 016.009.
Email: my surname at inf.unibz.it
I am interested in the mix of knowledge representation theories and human computer interaction methodologies for (co-)designing smart learning environments or activities, e.g., smart games. Relevant research keywords are as follows: knowledge representation and reasoning, computational logic, constraint-based reasoning, human computer interaction, technology enhanced learning, personalised smart inclusion.
[1994—1996] Collaborations with the Philos Lab at Pavia University. Lab Head: L. Magnani.
[1995—1996] One-year specialisation course, with final examination, in Didattica della Matematica (Didactics of Mathematics), Department of Mathematics, Pavia University, Italy.
[Sept. 1998—Dec. 2002] Ph.D.: Computer Science, U. of Amsterdam. Thesis under the supervision of K.R. Apt and M. de Rijke, as member of LIT (Language and Inference Technology), now ILPS (Information and Language Processing Systems), at the ILLC U. of Amsterdam and the PNA1 (Networks and Logic - Optimization and Programming) cluster at CWI. Thesis title: Mapping Inferences: Diamond Satisfaction and Constraint Propagation.
[March 27 2003—November 6 2005] Post-doc: a 3-year fellowship at SRA, ITC-irst, supported by the Autonomous Province of Trento (PAT), Italy, for the Automated Reasoning and Constraint Satisfaction project.
[November 7 2005—present] Assistant professor at KRDB, Free University of Bozen-Bolzano.
xhtml | php | css | cc licence