Interested in Linux and Android security, Formal Methods and Web development. Background in Computer Engineering (BSc), Cryptography and Information Systems Security and Formal Methods in Sofware Engineering (MSc).