Personal Information
Entreprise/Lieu de travail
Braga Area, Portugal Portugal
Profession
Post Doc Researcher
Secteur d’activité
Education
Site Web
haslab.uminho.pt/pfsilva/
À propos
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...
Mots-clés
galculator
galois connections
dsl
relation algebras
indirect equality
fork algebras
tools for cryptography
cao language
calf language
point-free transform
calculational proofs
proof assistant
cace project
compiler
equational reasoning
point-free notation
gadt
proof assistant.
haskell
dependent types
program verification
cao-sl
Tout plus
Présentations
(7)Personal Information
Entreprise/Lieu de travail
Braga Area, Portugal Portugal
Profession
Post Doc Researcher
Secteur d’activité
Education
Site Web
haslab.uminho.pt/pfsilva/
À propos
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...
Mots-clés
galculator
galois connections
dsl
relation algebras
indirect equality
fork algebras
tools for cryptography
cao language
calf language
point-free transform
calculational proofs
proof assistant
cace project
compiler
equational reasoning
point-free notation
gadt
proof assistant.
haskell
dependent types
program verification
cao-sl
Tout plus