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
Tags
dsl
galculator
galois connections
calf language
cao language
relation algebras
indirect equality
fork algebras
tools for cryptography
point-free transform
cace project
calculational proofs
proof assistant
cao-sl
program verification
dependent types
haskell
proof assistant.
gadt
point-free notation
equational reasoning
compiler
See more
- Presentations
- Documents
- Infographics