• =

  index

  the home page with contact details and a resume

• m

  teaching

  list to courses at FUB, with links to active courses

• n

  projects

  the list of projects carried on at FUB

• o

  publications

  the list of publications per year

• j

  misc

  misc links to other resources

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.

Contact details

Rosella Gennari
CS Faculty, FUB
via della Mostra 4, 39100 Bolzano, Italy.

Tel.: +39 0471 016.964.
Fax: +39 0471 016.009.

Email: my surname at inf.unibz.it

Research interests

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.

Resume

[1988/89—1993/94] Laurea in Mathematics (Master of Science), Pavia University. Thesis under the supervision of M. Ferrari and L. Magnani.

[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. 1997—Sept. 1998] Master of Logic, ILLC, Amsterdam Univerity. Thesis under the supervision of K.R. Apt. Thesis title: Temporal Constraint Programming: A Survey.

[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.

[Dec. 2002—March 2003] Post-doc: ERCIM fellowship at CWI, Amsterdam, the Netherlands. Project coordinator: K.R. Apt, to work on Constraints.

[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.