Hi, althoug I've signed up as a user of this forum around 2 years ago, I don't normally post topics nor comments. I always prefered to just read and entertain myself with all the fun problems that other people post here. But latetly I have notice that it is really important to do networking in every sense of the word (talking with people that shares similar tastes in conferences, virtual forums, etc), and found it to be even more fun that way.

One of the reasons that kept me away from posting seems to be that my interests are in computability and automata theory. It is really hard to find a good forum on theoretical computing subjects, and the computer sciences forums you can find are mainly related to programming, databases, etc., not math.

I really like this forum because I can see that people here really enjoys doing math (as I do), and problems are so cool, and allowed me to learn a lot of stuffs that I never see before. I have a background in computer sciences and always liked mathematics, and when I discover computability, automata and complexity, I just simply felled in love of these subjects, and I knew that I had to learn more mathematics, and this site allowed me to do that. And at the same time, I learned to love mathematics in general.

The main subject of theoretical computing that I like the most is computability and complexity issues of computing paradigms (quantum computing, molecular computing, etc). All these paradigms have their own abstract model with so many questions still to answer. Right now, as a graduate student I studying these subjects, from a strictly mathematical point of view, and I now that this is what I want to do for the rest of my life.

Well, I just wanna to write this and see what other people think about theoretical computing in general. Does somebody knows about these topics? As mathematicians (future or present) what are your thoughts about the field? Is there somebody working/studying one/some/several of these topics right now?