User:RDT

I am a computer scientist and a mathematician.

I contribute to Wikipedia from time to time, most of the time anonymously. I am not a dedicated Wikipedia editor, just try to help occasionally. :)

Some pages I watch:

• constructive mathematics
• ultra-finitism
• proof complexity