I'm a professor of computer science, particularly interested in (software) security, concurrent programming and (lately) functional programming.