I work with XpTools in LinkopingSweden, where I do a bit of everything and where I am the resident expert on program analysis. In my previous life, before joining XpTools I worked on a doctoral thesis. I still do, occasionally.
I can be contacted at david.byers@xptools.com.