Massimo  Merro

The contents of this page are the responsibility of the person: Massimo Merro
In caso di assenza rivolgersi alla struttura: Department of Computer Science

Foto,  April 19, 2010
Qualification
Associate Professor

Disciplinary sector
INF/01 - COMPUTING


Office
Ca' Vignal 2,  Floor 1,  Room 57

Telephone
045 802 7992

Fax
045 802 7068

E-mail
massimo|merro*univr|it <== Replace | with . and * with @ to have the right email address.

Personal web page
http://profs.sci.univr.it/~merro


Chairperson
  • Didactic Commission

Other positions held

Documents

Curriculum

Office Hours
Place day Timetable
Ca' Vignal 2, floor 1, room 57 Thursday 2:30 PM - 4:30 PM

Skills
Topic Description Research area
Formal security models Ingegneria del Software e Sicurezza
Security and privacy - Formal methods and theory of security
Computational Models: Process calculi for concurrent and distributed systems Informatica teorica
Theory of computation - Models of computation
Semantics Informatica teorica
Theory of computation - Semantics and reasoning

Research products

Year
Type of item
Number of research products per page
publications on 40 total
 

Projects
Title Starting date
Security Horizons 2/1/13
SPaCIoS: Secure Provision and Consumption in the Internet of Services 10/1/10
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) 9/22/08
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures 1/1/08
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006) 2/9/07

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Foundations of Computing (2014/2015)   12    LINGUAGGI
Department Computer Science  Network security (2014/2015)   6   
Department Computer Science  Foundations of Computing (2013/2014)   12    LINGUAGGI
Department Informatica  Network programming (2013/2014)   6   
Department Computer Science  Network security (2013/2014)   6   

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


People
Top