ITA | ENG | Login

Lab. di ricerca Regis


Benvenuti al laboratorio di ricerca REGIS!

Il laboratorio REGIS (Research Group in Information Security) e' una struttura di ricerca del Dipartimento di Informatica della facolta' di Scienze MMFFNN dell'Universita' degli Studi di Verona, Italia.
La ricerca sviluppata all'interno del laboratorio si focalizza nell'area dei Linguaggi della logica e dei metodi formali. Piu' in dettaglio ci occupiamo dello studio e sviluppo di metodologie formali (basate su modelli matematici precisi) per l'analisi, l'ottimizzazione, la certificazione, la robustezza e la sicurezza di sistemi software complessi.
Scopo della ricerca è di ottenere strumenti automatici di analisi e verifica di programmi basati su una formalizzazione precisa (matematica) dei modelli e della semantica dei linguaggi di programmazione e dei sistemi di calcolo.

Il laboratorio offre un ambiente ideale a studenti (laurea magistrale) interessati a sviluppare una tesi in tale ambito.

Per ulteriori informazioni non esitate a contattarci.


NEWS