Personal Information
Organization / Workplace
Braga Area, Portugal Portugal
Occupation
Post Doc Researcher
Industry
Education
Website
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...
Contact Details
