Programmer and researcher, and I have been doing this for a while. Formal methods are my thing, also touched ML and programming languages.