Rosella Gennari

Bolzano, Italy Italy

researcher with a temporary contract

Education

Experience: -- constraint programming, from formal verification to applications -- computational logic, nonclassical logic, e.g., modal logic -- knowledge representation and reasoning -- AI and technology enhanced learning, -- intelligent user interfaces, in particular, for users with special needs, i.e., deaf people Current work areas: -- AI and technology enhanced learning -- temporal representation, reasoning and visualisation for and with non-experts