User:Michael Ray Oliver
I am a set theorist by academic training, currently working in private industry in the area of electronic design automation. I hold a Bachelor's degree in mathematics from the California Institute of Technology, and a Ph.D. in mathematics from the University of California, Los Angeles. My specialties within set theory are Borel equivalence relations and quotient Boolean algebras (quotients of the powerset of the natural numbers by a definable ideal). I have also worked in the area of determinacy. I have held a visiting faculty position at University of North Texas and a postdoctoral fellowship at York University (Toronto, Ontario).