I have a general interest in religion as well as in music and extreme politics. I also think that 5-string banjo is the coolest instrument man has invented, ever.
I do research in computer science for a living.
I don't think it is good for people of editing their own work interest, because they get easily sensitive about it.
If you see me editing things concerning my research topic (which means static program verification/JML related/ Coq related stuff), please
feel free to revert my edits.
