Persona
PAOLINI Luca Luigi
Docenti di ruolo di IIa fascia
Settori (12)
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
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
36 mesi
No Results Found
Pubblicazioni (86)
Public Engagement (3)
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
Accademia delle Scienze di Torino (24/05/2023 - 24/05/2023) 20230524
INFORMATICA
Pubblicazioni (cartacee e digitali) dedicate al pubblico non esperto (Responsabile scientifico)
- "Linguaggi di programmazione: il quantum software e le sue sfide"
19000101
INFORMATICA
Pubblicazioni (cartacee e digitali) dedicate al pubblico non esperto (Organizzatore)
- Programming the Interaction with Quantum Coprocessors
19000101
INFORMATICA
No Results Found