Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image
Gallery Image

Institute of Information Science and Technologies "Alessandro Faedo" - ISTI

The National Research Council of Italy (CNR) is the largest public research institution in Italy and is organized in departments and institutes. ISTI (Institute of Information Science and Technologies "Alessandro Faedo") is affiliated to the CNR Dept. of Engineering, Information, Communication, Energy and Transportation Technologies (DIITET). ISTI-CNR is the largest CNR institute for Computer Science (with a staff of around 230 plus a fluctuating number of students) and is located in Pisa (Tuscany). The Institute was founded in 2000 by merging the CNUCE and IEI institutes of CNR. A collection of documents on the history of ISTI and its ancestors is available at: http://story.isti.cnr.it/ (but most of those documents are in Italian).

The main aim of ISTI-CNR is to advance science and achieve important results in many Computer Science subdomains. ISTI is organized in 13 thematic laboratories covering most if not all CS domains. ISTI collaborates with many universities and research institutions at both national and international levels. Collaborations are often related to specific research projects and consortiums. The Institute also has a very solid expertise and reputation in the design and deployment of CS infrastructures and in technology transfer activities oriented towards industry or the public administration. In addition, ISTI is strongly involved in didactics, at bachelor, masters and PhD levels. Many ISTI researchers hold courses or seminars in national universities or abroad.

The results obtained by and news about ISTI-CNR are regularly published in our newsletter "Isti News".

For any questions please contact segreteriascientifica@isti.cnr.it

Latest Announcements

Seminars

Scalable Program Analysis via Decompositions of Control-flow Graphs

2025年12月09日

Many classical tasks in formal verification, compiler optimization, and program analysis are formalized in terms of graph problems, usually over the control-flow or call graphs of programs. Examples include data-flow analyses (such as null-pointer and reaching definitions), re...

Read more …
Room: Faedo
Events

ISTI Day 2025

2025年11月18日

We are approaching ISTI Day, 2025 edition! The event will take place on November 18th. Further details about how to join us and the final program are available here. As usual, we look forward to the utmost participation!

Read more …
Seminars

ISTI-Talk: A Heterogeneous Path in NLP: A Multi-Level Approach to Evaluation

2025年11月12日

As AI models grow more powerful, our methods for evaluating them must also become more sophisticated. This talk confronts this challenge by posing a series of progressively more probing questions: How can we test whether a model’s performance stems from genuine understanding r...

Read more …
Room: C-29
Seminars

ISTI-Talk: ‘Where is your head at?’ Accessing and Exploiting Deep Learning Model Inner Thinking

2025年11月12日

Deep learning models have revolutionized the field of image analysis, enabling a wide array of applications previously constrained to complex mathematical domains. This significant gain in predictive power, however, often comes at the cost of model interpretability. This "blac...

Read more …
Room: C-29
Seminars

Exploring different facets of human trust in LLMs

2025年11月06日

The Trust-In-LLMs Index (TILLMI) is a new framework for measuring human trust in Large Language Models (LLMs) by adapting McAllister’s cognitive and effective dimensions [1] to human-LLMinteractions. We developed TILLMI as a psychometric scale using a novel validation protocol...

Read more …
Room: C-29
Seminars

Brevettazione: perche' e come farla al CNR

2025年11月04日

il seminario presenterà il tema della generazione dei brevetti, quale è la situazione del contesto italiano e del Cnr, che vantaggi si hanno a seguire un processo di richiesta di brevetto; infine, analizzerà che tipo di supporto abbiamo dall'amminis...

Read more …
Room: Faedo
Jobs

Bando BR ISTI 012/2025

2025年11月04日

Selezione pubblica per titoli e colloquio. Numero borse di ricerca: 3. Area scientifica: Informatica.Titolo di studio: vedi art. 3 comma a) del bando. Requisiti: Conoscenza nell’ambito della tematica di cui all’art. 1 dichiarato con le modalità di cui all’art. 4; Abbiano ...

Read more …
Jobs

Bando BR ISTI 011/2025

2025年11月04日

Selezione pubblica per titoli e colloquio. Numero borse di ricerca: 2. Area scientifica: Informatica.Titolo di studio: vedi art. 3 comma a) del bando. Requisiti: Conoscenza nell’ambito della tematica di cui all’art. 1 dichiarato con le modalità di cui all’art. 4; Abbiano ...

Read more …
Jobs

Bando BR ISTI 010/2025

2025年11月04日

Selezione pubblica per titoli e colloquio. Numero borse di ricerca: 1. Area scientifica: Informatica, Matematica.Titolo di studio: vedi art. 3 comma a) del bando. Requisiti: Conoscenza nell’ambito della tematica di cui all’art. 1 dichiarato con le modalità di cui all’art. ...

Read more …
Jobs

Bando BR ISTI 009/2025

2025年11月04日

Selezione pubblica per titoli e colloquio. Numero borse di ricerca: 1. Area scientifica: Informatica.Titolo di studio: vedi art. 3 comma a) del bando. Requisiti: Conoscenza nell’ambito della tematica di cui all’art. 1 dichiarato con le modalità di cui all’art. 4; Esperien...

Read more …

AltStyle によって変換されたページ (->オリジナル) /