Paulo Silva
Personal Information
Organization / Workplace
HASLab - University of MinhoLocation
Braga Area, Portugal PortugalOccupation
Post Doc ResearcherIndustry
Education
Website
haslab.uminho.pt/pfsilva/About
I am a Post-Doc researcher at the HASLab group of the Informatics Department of University of Minho. I am currently working in the BestCase project where my objective is to further improve the CAO language framework, a Domain Specific Language (DSL) developed in previous projects. This language is aimed at writing cryptographic software in a higher abstraction level which is then transformed and compiled to the C language, while preserving the overall safety properties. My personal view is that mathematical reasoning and techniques are essential to avoid software errors and to produce high-quality source code. However, I think that this will not be possible without the development of t...