Currently taking a M. Sc. on Formal Methods and Distributed Systems.