Nicolas Benjamin Spoors is the Logician & Founder of Infinitary Research Institute. Currently he is working to disprove the Continuum Hypothesis by disproving ZF set theory. His interests are in: Set Theory, Proof Theory, Model Theory, Infinitary Logic, Category Theory, Homotopy Type Theory and other foundational topics in mathematics.

Nicolas graduated from the University of Massachusetts with a BA in Mathematics and a Minor in Italian Studies. He has worked in the Boston area as a Data Analyst and Financial Analyst after doing graduate work in Statistics at UMass Lowell. In Fall of 2019 he taught Finite Mathematics at Kalamazoo Valley Community College (KVCC) in Kalamazoo, Michigan. He is an avid runner, enjoys playing backgammon and currently lives in Lowell, MA.