My main area of research is formal methods for software engineering but I have also been working in electronic voting since 2001.