I am a PhD student at the University of Colorado Denver. My interests are complexity theory, computer security, and parallel computation.
13 Forcing method used in Baker-Gill-Solovay Relativization paper and Cohen's Proof of Continuum Hypothesis Independence Oct 25 '12
11 Recent publications on NP ?= coNP question Nov 11 '12
8 Savitch's use of measurability Oct 14 '12