I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.
56 Techniques for Reversing the Order of Quantiﬁers jan 22 '11
42 What would it mean to disprove Church-Turing thesis? sep 2 '10
35 Problem teaching computability feb 20 '11
30 What is the difference between arrows and exponential objects in a cartesian closed category? apr 17 '13
26 Why have computer scientists chosen recursor instead of iterator in primitive recursion? jun 18 '11
23 Why does Coq have Prop? mar 31 '14