My main interest is in the design of pathological programming languages. While this subject is not entirely (perhaps not even primarily) mathematical, it does rely significantly on results from computability, complexity theory, and formal languages. Results from pretty much any field are welcome additions if they can be applied to the design of a programming language to make it (more) pathological. Currently I am somewhat interested in the possibilities of abstract algebra in this regard.