I recently graduated with a Master degree in Computer Science, Information Security track from ETH Zu?rich. My special interest is on Formal Methods and their applications in Software Engineering.