Paulo F. Silva

Paulo Filipe Araújo da Silva is a Post-Doctorate researcher at HASLab/INESC TEC. He obtained a degree in Computer Engineering in 2004 and a PhD in Computer Science in 2009, both awarded by the University of Minho. He has worked in several research projects, where he tried to make formal methods more amenable for everyday use by software developers, mostly by proving some degree of automation. His recent work as Post-Doctorate researcher at Computer Aided Cryptography Engineering (CACE) and Secure Memories and Applications Related Technologies (SMART) european projects has been developing Domain Specific Languages (DSL’s) and respective tools, in order to ensure formal validation and certification of cryptographic software implementations, resorting to dependent types and static analysis, among other techniques.