I am a mathematician by trade, particularly interested in the applications of mathematics to various areas of computing. My interest in philosophy is primarily in the philosophy of logic and its relation to the philosophy of the mind as well as the ramifications this relationship has on theoretical computer science.

This profile currently does not have any publications associated with it.