Personal Information
Organização/Local de trabalho
Braga Area, Portugal Portugal
Cargo
Post Doc Researcher
Setor
Education
Sobre
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...
Marcadores
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
Ver mais
Apresentações
(7)Personal Information
Organização/Local de trabalho
Braga Area, Portugal Portugal
Cargo
Post Doc Researcher
Setor
Education
Sobre
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...
Marcadores
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
Ver mais