Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Persone
Persona
segnaposto immagine

PAOLINI Luca Luigi

Docenti di ruolo di IIa fascia
INFORMATICA

Gruppo 01/INFO-01 - INFORMATICA

Settore INFO-01/A - Informatica
  • Contatti
  •  luca.paolini@unito.it
  • Aree Di Ricerca
  • Progetti
  • Pubblicazioni
  • Altre Attività

Settori (12)


PE1_1 - Logic and foundations - (2024)

PE6_14 - Quantum computing (formal methods, algorithms and other computer science aspects) - (2024)

PE6_3 - Software engineering, programming languages and systems - (2024)

PE6_4 - Theoretical computer science, formal methods, automata - (2022)

Goal 9: Industry, Innovation, and Infrastructure

CIBO, AGRICOLTURA e ALLEVAMENTI - Farmacologia Veterinaria

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Digitalizzazione della Società e della Pubblica Amministrazione

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Industria X.0

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Diritto dell'Ambiente

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Informatica e Ambiente

SCIENZE DELLA VITA e FARMACOLOGIA - Interazioni tra molecole, cellule, organismi e ambiente

SCIENZE MATEMATICHE, CHIMICHE, FISICHE - Storia e insegnamento della Matematica

Parole chiave (3)

Software analysis and verification
programming languages
quantum computing
No Results Found

Descrizione linee ricerca (4)

Lambda Calcolo
Linee di Prdodotti Software
Linguaggi di Programmazione
Logica Lineare
No Results Found

Ricerca finanziata (3)

CHEDIH - CIRCULAR HEALTH EUROPEAN DIGITAL INNOVATION HUB - PNRR M4C2 INVESTIMENTO 2.3 “Potenziamento ed estensione tematica e territoriale dei centri di trasferimento tecnologico per segmenti di industria” 
Progetti PNRR M4C2 Iniziativa 2.3 - Potenziamento ed estensione tematica e territoriale dei centri di trasferimento tecnologico per segmenti di industria
Progetto
Partecipante
2024
18 mesi
CHEDIH - Circular Health European Digital Innovation Hub 
DIGITAL Europe Programme - European Digital Innovation Hubs (EDIH)
Progetto
Partecipante
2023
40 mesi
Future HPC & Big Data-finanziato con fondi PNRR MUR-M4C2-Investimento 1.4-Avviso"Centri Nazionali"-D.D.n.3138 del 16/12/2021 rettificato con DD n.3175 del 18/12/2021,codice MUR CN00000013, CUP D13C22001340001 
Progetti PNRR M4C2 Iniziativa 1.4 - Centri Nazionali (CN)
Progetto
Partecipante
2022
42 mesi
No Results Found

Pubblicazioni (91)

  • ascendente
  • decrescente
  • Tutti
  • All
  • Open
  • Partially Open
  • Mixed
  • Embargoed
  • Reserved

Public Engagement (4)

Organizzazione di iniziative di valorizzazione, consultazione e condivisione della ricerca (Relatore/Relatrice) - IBM–UNITO Innovation Lab on Future Computing Technologies: Cloud, HPC, AI, and QC
INFORMATICA
Dipartimento di Informatica, Università di Torino (30/10/2025 - 31/10/2025) 20251030
Organizzazione di concerti, spettacoli teatrali, rassegne cinematografiche, eventi sportivi, mostre, esposizioni e altri eventi di pubblica utilità aperti alla comunità (Partecipante) - Ricordando Corrado Böhm a cento anni dalla nascita
INFORMATICA
Accademia delle Scienze di Torino (24/05/2023 - 24/05/2023) 20230524
Pubblicazioni (cartacee e digitali) dedicate al pubblico non esperto (Responsabile scientifico) - "Linguaggi di programmazione: il quantum software e le sue sfide"
INFORMATICA
19000101
Pubblicazioni (cartacee e digitali) dedicate al pubblico non esperto (Organizzatore/Organizzatrice) - Programming the Interaction with Quantum Coprocessors
INFORMATICA
19000101
No Results Found
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.4.3.0