Professorial LecturesBack

Jesse Alama

Jesse Alama is a post-doctoral researcher in the Dialogical Foundations of Semantics project based at the Center for Artificial Intelligence at the New University of Lisbon in Portugal and also works part-time as an Assistant Editor for the Stanford Encyclopedia of Philosophy. He completed his Ph.D. in 2009 under the supervision of Grigori Mints in the Stanford University Department of Philosophy. His dissertation, Formal Proofs and Refutations, extends and re-interprets the critical philosophy of mathematics of Imre Lakatos in the light of the results of modern automated theorem proving (especially proof checking).

 He works in mathematical logic (primarily proof theory), automated theorem proving, and philosophy of mathematics, with a specialisation in formal mathematics, a young interdisciplinary subject devoted to constructing formalisation of mathematical knowledge. Formal mathematics offers a lot of challenging problems for artificial intelligence and, he believes, in our understanding of mathematical argumentation. He is eager to apply techniques from interactive and automated theorem proving to problems in the foundations and philosophy of mathematics, and to make progress in mathematics with the help of computers.

Fellows Speak

Fellows Success Stories

Connect with us

Contact Us