hmelgra@dc.uba.ar
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.
