Jesse Alama


Doctor of Philosophy
Stanford University

Bachelor of Arts
University of Minnesota at Morris
Mathematics, Computer Science, Philosophy


Formal Proofs and Refutations

Grigori Mints, Solomon Feferman, Johan van Benthem, Jeremy Avigad


Under review



  1. Postdoctoral Researcher
    Theory and Logic Group, Vienna University of Technology, Austria
    January, 2014 to June, 2015

  2. Postdoctoral Researcher
    Center for Artificial Intelligence, New University of Lisbon, Portugal
    September, 2009 to September, 2012

  3. Assistant Editor
    Stanford Encyclopedia of Philosophy, United States
    November, 2007 to present

  4. Research Programmer
    Qualitative Reasoning Group, Northwestern University, United States
    September, 2001 to August, 2002

  5. Programmer
    Cycorp, Inc., United States
    June, 2001 to September, 2001

Professional Service

Refereeing and Reviewing

Minds and Machines Journal of Logic and Computation
Formalized Mathematics Logic Journal of the IGPL
History and Philosophy of Computing Journal of Philosophical Logic
Review of Symbolic Logic The Internet Encyclopedia of Philosophy
Mathematical Reviews Handbook of Mathematical Fuzzy Logic

Thesis Committees

Program Committees

Proof eXchange for Theorem Proving (PxTP 2015) Conference on Intelligent Computer Mathematics (2014)
The Notion of Proof Revisited (AMS-EMS-SPM Joint Meeting 2015) Logic and Games (Vienna Summer of Logic 2014)
Conference on Intelligent Computer Mathematics (2013) MathWikis (2011)

Professional Memberships

Austrian Mathematical Society German TeX Users Group
Association of Mizar Users Mathematical Association of America
Association for Automated Reasoning

Awards and Scholarships