Currently taking a Master's Degree on Formal Methods and Distributed Systems.