Segui su

Dipartimento
Ricerca
Didattica
Territorio e Società
Persone
contatti

English Italiano

Dipartimento
Presentazione
Organizzazione
Riferimenti
Ricerca
La ricerca in breve
- Strategie della ricerca
- La Ricerca in cifre
Attività di ricerca
Strutture
Didattica
Corsi di Studio
- Corsi di laurea
- Corsi di laurea magistrale
Dottorati, Master e Formazione superiore
Servizi per la didattica
Territorio e Società
Informazioni per il territorio
Servizi per il territorio
Riferimenti
Persone
contatti
CercaTutto

CercaPersone

CercaAvvisi

CercaPrimo piano

Cerca su UniVerSe

Cerca in tutto l'Ateneo

Cerca nel sito di dipartimento

Formal languages and automata theory

Home
Ricerca
Aree di ricerca
Formal languages and automata theory

Attività

Aree di ricerca

Algebra, Geometria e Logica Matematica
Algoritmi, Logica e teoria della computazione
Bioinformatica e informatica medica
Fisica
Ingegneria del Software e Verifica Formale
Intelligenza Artificiale
Metodi e modelli matematici
Sicurezza informatica
Sistemi informativi ed analisi dei dati
Game theory, economics, social and behavioral sciences 91B-F
Physics

Gruppi di ricerca

Algebra
Algoritmi
Algoritmi in Bioinformatica e Calcolo Naturale
Analysis of PDE and Calculus of Variations
ARLette - Laboratorio di Ragionamento Automatico
Basi di dati e Sistemi Informativi
Big Data Analytics
Big Data, Data Science e Process Mining
Biomedical Imaging
Blockchain
Contemporary Applied Mathematics
ESD - Electronic Systems Design
Fondamenti, Storia e Didattica della Fisica
ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici
INdAM - Unità di Ricerca dell'Università di Verona
InfOmics
Intelligenza Artificiale (IA)
ISLa - Intelligent Systems Lab
K.Re.Art.I.
LAPS (Laboratory for Photovoltaics and Solid State Physics)
Logica
NeST
OpDATeCH Lab - Optical Devices and Advanced Techniques for Cultural Heritage
PARCO – Parallel Computing
Quantum Informatics Laboratory - QUILAB
Robotica, Intelligenza Artificiale e Controllo
Spettroscopia in assorbimento IR e X per studi interdisciplinari negli ambiti delle biotecnologie e dei beni culturali (Laboratorio IRIS)
SPY
Trasformazione Digitale e Sostenibile delle PMI Venete
UniVerSE Lab
Visione, Immagini, Pattern e Segnali (VIPS)

Dottorati di Ricerca

Dottorato in Informatica
Dottorato in Nanoscienze e Tecnologie Avanzate
Dottorato Interateneo in Matematica

Strutture

Biblioteche

Biblioteca Centrale "Meneghetti"
Biblioteca Dipartimentale "Bruno Forte"

Centri

Computer Science Park
CBMC Centro di BioMedicina Computazionale
Museo dell'Informatica
ECDL Test Center

Laboratori

Laboratorio INFOMICS
Laboratorio IRIS
Laboratorio ISLa
Laboratorio LAPS - Laboratory for Photovoltaics and Solid State Physics
Laboratorio OPDATE
Laboratorio SPY (Metodi Formali)
Laboratorio STARS (Semistructured Temporal clinicAl GeogRaphical Systems)
Laboratorio VIPS (Vision, Image Processing & Sound)

Spin off e Aziende

Vero4Chain s.r.l.
3Dflow s.r.l.
BBZ s.r.l.
eVS embedded Vision Systems s.r.l.
HPA s.r.l.

Contatti
Persone
Luoghi
Calendario

ven
9 maggio 2025

Attività

Aree di ricerca

Algebra, Geometria e Logica Matematica
Algoritmi, Logica e teoria della computazione
Bioinformatica e informatica medica
Fisica
Ingegneria del Software e Verifica Formale
Intelligenza Artificiale
Metodi e modelli matematici
Sicurezza informatica
Sistemi informativi ed analisi dei dati
Game theory, economics, social and behavioral sciences 91B-F
Physics

Gruppi di ricerca

Algebra
Algoritmi
Algoritmi in Bioinformatica e Calcolo Naturale
Analysis of PDE and Calculus of Variations
ARLette - Laboratorio di Ragionamento Automatico
Basi di dati e Sistemi Informativi
Big Data Analytics
Big Data, Data Science e Process Mining
Biomedical Imaging
Blockchain
Contemporary Applied Mathematics
ESD - Electronic Systems Design
Fondamenti, Storia e Didattica della Fisica
ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici
INdAM - Unità di Ricerca dell'Università di Verona
InfOmics
Intelligenza Artificiale (IA)
ISLa - Intelligent Systems Lab
K.Re.Art.I.
LAPS (Laboratory for Photovoltaics and Solid State Physics)
Logica
NeST
OpDATeCH Lab - Optical Devices and Advanced Techniques for Cultural Heritage
PARCO – Parallel Computing
Quantum Informatics Laboratory - QUILAB
Robotica, Intelligenza Artificiale e Controllo
Spettroscopia in assorbimento IR e X per studi interdisciplinari negli ambiti delle biotecnologie e dei beni culturali (Laboratorio IRIS)
SPY
Trasformazione Digitale e Sostenibile delle PMI Venete
UniVerSE Lab
Visione, Immagini, Pattern e Segnali (VIPS)

Dottorati di Ricerca

Dottorato in Informatica
Dottorato in Nanoscienze e Tecnologie Avanzate
Dottorato Interateneo in Matematica

Strutture

Biblioteche

Biblioteca Centrale "Meneghetti"
Biblioteca Dipartimentale "Bruno Forte"

Centri

Computer Science Park
CBMC Centro di BioMedicina Computazionale
Museo dell'Informatica
ECDL Test Center

Laboratori

Laboratorio INFOMICS
Laboratorio IRIS
Laboratorio ISLa
Laboratorio LAPS - Laboratory for Photovoltaics and Solid State Physics
Laboratorio OPDATE
Laboratorio SPY (Metodi Formali)
Laboratorio STARS (Semistructured Temporal clinicAl GeogRaphical Systems)
Laboratorio VIPS (Vision, Image Processing & Sound)

Spin off e Aziende

Vero4Chain s.r.l.
3Dflow s.r.l.
BBZ s.r.l.
eVS embedded Vision Systems s.r.l.
HPA s.r.l.

Contatti
Persone
Luoghi
Calendario

Condividi

Home
Dipartimento
Ricerca
Didattica
Territorio e Società

Dottorati
Master
Contatti e mappa

Supporto tecnico
Area Amministrativa
MyUnivr
Privacy policy

Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234

Dottorati
Master
Contatti e mappa
Supporto tecnico
Area Amministrativa
MyUnivr
Privacy policy

Segui su

Play store Apple Store

© 2025 | Università degli studi di Verona

******** CSS e script comuni siti DOL - frase 9957 ********