During my Ph.D. I worked in the field of Computer Aided Formal Reasoning (CAFR).
In particular, I studied and contributed to develop a new axiomatic theory for encodings
exploiting the Higher Order Abstract Syntax (HOAS) approach.
Recently I am focusing on mobile devices technologies as a member of the SMDC Lab. and a co-founder of MoBe Ltd.
If you are interested in this topic, you can take a glance at my
list of papers.