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