Persona
segnaposto immagine

MEREGHETTI CARLO

PROFESSORE ASSOCIATO CONFERMATO
Dipartimento di Informatica Giovanni Degli Antoni

Settori (2)

Parole chiave (3)

CALCOLO QUANTISTICO
LINGUAGGI FORMALI
TEORIA DEGLI AUTOMI
No Results Found

Descrizione linee ricerca (3)

Calcolo quantistico (2013 - )
Teoria degli automi (2013 - )
Teoria dei linguaggi formali (2013 - )
No Results Found

Ricerca finanziata (4)

Modelli computazionali innovativi 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2007
Modelli stocastici e quantistici per problemi computazionali e di bioinformatica 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2006
Partecipazione al convegno “20th Italian Conference on Theoretical Computer Science”, 9-11 settembre 2019, Como, Italia 
AL_RIC - Bandi da altri enti di ricerca
Progetto
Responsabile scientifico
2019
7 mesi
Tecniche formali per l'analisi di sistemi computazionali e applicazioni 
PUR20062008 - PUR 2006-2008
Progetto
Responsabile scientifico
2008
No Results Found

Pubblicazioni (105)

Premi e riconoscimenti

Sheng-Yu Award (Best Papaer Award), CIAA 2014 Conference, conferito da Steering Committee of the International Conference on Implementation and Application of Automata (CIAA'14), - 2014
No Results Found

Ricerca e didattica presso enti (2)

Titolare di corso all'interno della Summer PhD School “The week of PhD students of science programmes“, nel progetto: "Modernization of PhD Study Programmes in Natural Sciences and Humanities at UPJŠ" presso: Univerzita Pavla Jozefa Šafárika v Košiciach (21/05/2012 - 25/05/2012)
Principal Investigator presso: Deutsche Akademische Austausch Dienst - DAAD (01/01/2011 - 31/12/2012)
No Results Found

Congressi

Program chair (presidente/responsabile del comitato scientifico) - Non-Classical Models of Automata and Applications (NCMA) (01/01/2011 - )
No Results Found

Collegi di dottorato (13)

Università degli Studi di MILANO - INFORMATICA-2020 (ciclo: 36 - Anno: 2020 )
Università degli Studi di MILANO - INFORMATICA-2019 (ciclo: 35 - Anno: 2019 )
Università degli Studi di MILANO - INFORMATICA-2018 (ciclo: 34 - Anno: 2018 )
Università degli Studi di MILANO - INFORMATICA-2017 (ciclo: 33 - Anno: 2017 )
Università degli Studi di MILANO - INFORMATICA-2016 (ciclo: 32 - Anno: 2016 )
Università degli Studi di MILANO - INFORMATICA-2015 (ciclo: 31 - Anno: 2015 )
Università degli Studi di MILANO - INFORMATICA-2014 (ciclo: 30 - Anno: 2014 )
Università degli Studi di MILANO - INFORMATICA-2013 (ciclo: 29 - Anno: 2013 )
Università degli Studi di MILANO - INFORMATICA-2012 (ciclo: 28 - Anno: 2012 )
Università degli Studi di MILANO - INFORMATICA-2011 (ciclo: 27 - Anno: 2011 )
Università degli Studi di MILANO - INFORMATICA-2010 (ciclo: 26 - Anno: 2010 )
Università degli Studi di MILANO - INFORMATICA-2009 (ciclo: 25 - Anno: 2009 )
Università degli Studi di MILANO - INFORMATICA-2008 (ciclo: 24 - Anno: 2008 )
No Results Found

Tutoraggio

tutorship - Dottorandi - RAUCCI PRISCILLA
No Results Found