Alejandro Gomez Londoño, Computer Science and Engineering

Choreographies and Cost Semantics for Reliable Communicating Systems
​Alejandro Gomez Londoño belongs to the Formal Methods division of Computer Science and Engineering.

Discussion leader

Assistant professor Tjark Weber, Uppsala University, Sweden.

Location: Online Zoom
Starts: 27 August, 2020, 10:00
Ends: 27 August, 2020, 11:00

Published: Fri 10 Jul 2020.