Attended Conferences, Courses, and Workshops
(Jan. 2023) Wittgenstein and the formal sciences 2, Ecole Normale Superieure Paris
(Jan. 2022) The Philosophy of Metamathematical Results
(Mar. 2021) Fulbright Visiting Student Researcher Community Day
(Oct. 2019) Proof in Mathematics Education
(Mar. 2019) Proof-Theoretic Semantics
(Jul. 2018) Hilbert-Bernays Summer School on Logic and Computation, 3 ECTS Summer School
(Oct. 2017) Thinking, Computing, Thinking, Mini-course given by Professor Wilfried Sieg
(Oct. 2017) Axiomatic Thinking, Meeting on Hilbert’s Axiomatic Method
(Jul. 2017) Hilbert-Bernays Summer School on Logic and Computation, 3 ECTS Summer School
(Jul. 2017) Workshop: Simplicity of Proofs in Automated Reasoning, Workshop on Prover9 and Mace4
(Jul. 2016) Partial Differential Equations Summer School, Summer School of the New Talents in Mathematics Scholarship