Regis Research Lab.
Welcome to REGIS research laboratory!
The REGIS (Research Group in Information Security) laboratory is a research facility of the Department of Computer Science of the University of Verona, Italy.
The research developed in the laboratory focuses on Languages, Logic and Formal methods. More specifically we explore and develop formal methodologies (based on mathematical models) for analysis, optimization, certification, robustness and security of complex software systems.
Aim of the research is to obtain automatic tools for analysis and verification of programs, based on (mathematical) formalization of models and semantic of programming languages and computing systems.
REGIS lab also provides an ideal environment for students interested in a thesis (Master's degree) that belonges to our research area.
For further information, please contact us.