Miguel Buitrago

Miguel Buitrago is currently working as an Undergraduate Research Assistant at Massachusetts Institute of Technology, collaborating with Dr. Benjamin Brast-McKie on a project involving the programming of a model checker using Z3 Theorem Prover for semantics of counterfactual statements. Additionally, Miguel serves as a Teaching Assistant for Multivariable Calculus at MIT's Experimental Study Group. Outside of MIT, Miguel also works as a Tour Guide for Trademark Tours and has previously interned at Max-Planck-Institute for Evolutionary Anthropology, where Miguel conducted research on dated phylogeny for Mayan languages using Bayesian methods. Miguel is pursuing a Bachelor of Science in Linguistics and Philosophy at MIT, after graduating from Clayton High School in 2022.