Hernán Melgratti

Hernán Melgratti

hmelgra@dc.uba.ar

Hernán Melgratti

My research focuses on semantics foundations of concurrent and distributed systems; programming languages for distributed system; and verification techniques for the correct implementation of communication protocols.

Publications

Undefined