I am interested in software design & construction, sw architectures, design patterns, language idioms, programming paradigms, expressiveness of languages, human computer interaction, software properties, reliability by design, practice of formal methods, cryptography, security and much more.

I hold a M.S. degree in Computer Engineering and I have been a member of ACM since 2002.