One fine body…
- Braga Area, Portugal, Portugal
- Work Post Doc Researcher
- Industry 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...
Not following anyone yet
- Follow Following