Follow on

Department
Research
Teaching
Community Engagement
People
contacts

English Italiano

Department
Overview
Organisation
Contact us
Research
Research in brief
- Research strategy
- Facts & Figures
Research activities
Facilities
Teaching
Courses
- Bachelor's degrees
- Master's degrees
PhD programmes and postgraduate training
Teaching services
Community Engagement
Information for community
Innovation and partnership
Contact us
People
contacts
searchAll

searchPeople

searchAnnouncements

searchNews

Search on UniVerSe

Search in the whole University Site

Search in department website

Formal languages and automata theory

Home
Research
Research areas
Formal languages and automata theory

Activities

Research areas

Algebra, Geometry, and Mathematical Logic
Algorithms, Logic, and Theory of Computing
Bioinformatics and medical informatics
Physics
Software Engineering and Formal Verification
Artificial Intelligence
Mathematical methods and models
Cybersecurity
Information Systems and Data Analytics
Game theory, economics, social and behavioral sciences 91B-F
Physics

Research groups

Algebra
Algorithms
Algorithmic Bioinformatics and Natural Computing
Analysis of PDE and Calculus of Variations
ARLette - Automated Reasoning Laboratory
Databases and Information Systems
Big Data Analytics
Big Data, Data Science and Process Mining
Biomedical Imaging
Blockchain
Contemporary Applied Mathematics
Electronic Systems Design (ESD)
Foundations, History and Didactics of Physics
ForMe - Formal Methods for the Design of Engineering Systems
INdAM - Research Unit at the University of Verona
InfOmics
Artificial Intelligence (AI)
ISLa - Intelligent Systems Lab
K.Re.Art.I.
LAPS (Laboratory for Photovoltaics and Solid State Physics)
Logica
Networked Systems and Technologies
OpDATeCH Lab - Optical Devices and Advanced Techniques for Cultural Heritage
PARCO – Parallel Computing
The Quantum Informatics Laboratory - QUILAB
Robotics, Artificial Intelligence and Control
IR and X-ray absorption spectroscopy for interdisciplinary studies in biotechnological and cultural heritage fields (IRIS lab)
SPY
Trasformazione Digitale e Sostenibile delle PMI Venete
UniVerSE Lab
Vision, Images, Patterns and Signals (VIPS)

PhD Programmes

PhD in Computer Science
PhD in Nanoscience and Advanced Technologies
Interuniversity PhD in Mathematics

Research facilities

Libraries

Central Library "E. Meneghetti"
"Bruno Forte" Library

Centres

Computer Science Park
CBMC Centro di BioMedicina Computazionale
Computer Science Museum
ECDL Test Center

Laboratories

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

Spin off and companies

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

Contacts
People
Places
Calendar

ven
9 maggio 2025

Activities

Research areas

Algebra, Geometry, and Mathematical Logic
Algorithms, Logic, and Theory of Computing
Bioinformatics and medical informatics
Physics
Software Engineering and Formal Verification
Artificial Intelligence
Mathematical methods and models
Cybersecurity
Information Systems and Data Analytics
Game theory, economics, social and behavioral sciences 91B-F
Physics

Research groups

Algebra
Algorithms
Algorithmic Bioinformatics and Natural Computing
Analysis of PDE and Calculus of Variations
ARLette - Automated Reasoning Laboratory
Databases and Information Systems
Big Data Analytics
Big Data, Data Science and Process Mining
Biomedical Imaging
Blockchain
Contemporary Applied Mathematics
Electronic Systems Design (ESD)
Foundations, History and Didactics of Physics
ForMe - Formal Methods for the Design of Engineering Systems
INdAM - Research Unit at the University of Verona
InfOmics
Artificial Intelligence (AI)
ISLa - Intelligent Systems Lab
K.Re.Art.I.
LAPS (Laboratory for Photovoltaics and Solid State Physics)
Logica
Networked Systems and Technologies
OpDATeCH Lab - Optical Devices and Advanced Techniques for Cultural Heritage
PARCO – Parallel Computing
The Quantum Informatics Laboratory - QUILAB
Robotics, Artificial Intelligence and Control
IR and X-ray absorption spectroscopy for interdisciplinary studies in biotechnological and cultural heritage fields (IRIS lab)
SPY
Trasformazione Digitale e Sostenibile delle PMI Venete
UniVerSE Lab
Vision, Images, Patterns and Signals (VIPS)

PhD Programmes

PhD in Computer Science
PhD in Nanoscience and Advanced Technologies
Interuniversity PhD in Mathematics

Research facilities

Libraries

Central Library "E. Meneghetti"
"Bruno Forte" Library

Centres

Computer Science Park
CBMC Centro di BioMedicina Computazionale
Computer Science Museum
ECDL Test Center

Laboratories

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

Spin off and companies

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

Contacts
People
Places
Calendar

Share

Home
Department
Research
Teaching
Community Engagement

PhD Programmes
Master and Post Lauream
Contact information

Technical support
Back office Area - dbErw
MyUnivr
Privacy policy

Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234

PhD Programmes
Master and Post Lauream
Contact information
Technical support
Back office Area - dbErw
MyUnivr
Privacy policy

Follow on

Play store Apple Store

© 2025 | Verona University

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