ITA
ENG
ITA
ENG
  • Notizie ed Eventi
    • Notizie
    • Eventi
  • Chi siamo
    • Missione
    • Dal direttore
    • Governo
    • Personale
    • Fatti principali
    • Premi
  • Ricerca
    • Strategie
    • Aree di Ricerca
    • Aree di ricerca interdisciplinari
    • Linee di ricerca
    • Progetti di Ricerca
    • Laboratori
    • Brevetti
    • Personale
    • Joint Research Platform
    • Centri collegati
    • Dottorato
  • Industria
    • Competenze
    • Collaborazione
    • Formazione
    • Spin-off
    • Industria 4.0
  • Relazioni internazionali
    • Obiettivi
    • Reti di Eccellenza
    • Programmi internazionali
    • Associazioni
    • Info per Ospiti Internazionali
  • Didattica
    • Futuri Studenti
    • Offerta Formativa
    • Percorsi Alta Formazione
    • Tirocini
    • Docenti
    • Segreteria Didattica
    • Tesi
    • Studenti stranieri
    • Opportunitą per gli studenti
    • Tutoring
    • Prospettive d'impiego
  • Lavora con noi
    • Valutazione comparativa
    • Collaborazioni di didattica
    • Assegni di ricerca
 » Chi siamo » Personale
FRANCHINI ANDREA
Assegnista di Ricerca
Collaboratore alla Ricerca / Didattica
Sede: Edificio 22
Piano: 3°
Ufficio: 004
[javascript protected email address]
Area di ricerca:
  • Informatica
Linea di ricerca:
  • Metodologie e architetture software avanzate
Andrea Franchini received his Bachelor's Degree in Computer Engineering in 2020, and later his Master's Degree in Computer Science and Engineering in 2023 at Politecnico di Milano, with the thesis: "Verification and Synthesis of Infrastructure-as-Code through Satisfiability Modulo Theories". He continued his work as a Research Fellow on the EU-funded PIACERE project (https://piacere-project.eu), a DevSecOps framework, maintaining its Model Checker tool. His research focuses on synthesis of IaC via SMT solvers.
COME RAGGIUNGERCI
map
Via Ponzio 34/5,
20133 Milano
Italia
CONTATTI E PEC
tel. +39 02 2399 3400
pecdeib@cert.polimi.it
(Solo da PEC a PEC)
INTRANET
RUBRICA
ISCRIVITI ALLA NEWSLETTER
INFORMATIVA PRIVACY - INFORMATIVA COOKIE
PREFERENZE COOKIE