My name is Alex Roederer.

I'm a student at the University of Miami, going into my fourth year.

I do work with Professor Geoff Sutcliffe in the field of Automated Theorem Proving. I hope to persue a PhD in Artificial Intelligence, if anyone will have me.

I'm so busy with projects, that the best I could do for my webpage is this. Pathetic! I've completed work on the tptp2T Utility, and I'm currently working on a new version of the Prophet System utilizing latent semantics (code name Google Prophet).

Here's a link to a presentation I'm doing on the Belousov-Zhabotinskii Reaction.

Eventually, I'll fix this up.

You can contact me at a DOT roederer ATSYMBOL umiami DOT edu

It is only with the heart that one can see rightly; what is essential is invisible to the eye.