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

Fast Links Links
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



Documents

Curriculum

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

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

Research products

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

Projects
Title Starting date
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 (2012/2013)   12    6  LINGUAGGI
Department Computer Science  Network programming (2012/2013)   6    6 
Department Computer Science  Foundations of Computing (2011/2012)   12    6  LINGUAGGI
Department Computer Science  Network programming (2011/2012)   6    6 

People
Top