About Hector Zenil

I graduated with a BS in math from the National University of Mexico (UNAM) and with a master’s degree in logic (LoPhiSS) from the University of Paris 1- Panthèon-Sorbonne. Currently I am a graduate student at the University of Lille 1, working toward a PhD in Computer Science, and at the University of Paris 1 (IHPST) working toward a PhD in Philosophy of Science. My focus in both programs is algorithmic complexity and randomness. My thesis advisors are  Jean-Paul Delahaye of the University of Science and Technology of Lille, Cristian Calude of The University of Auckland and Jean Mosconi of the University of Paris 1 Panthéon-Sorbonne (IHPST). My former thesis advisors (B.S. and Master) were Francisco Hernandez-Quiroz of the National University of Mexico (UNAM) and Jacques Dubucs from the IHPST (Paris 1/ENS Ulm/CNRS). Since 2006 I have been an R&D fellow at Wolfram Research where I have been working on projects related to mathematical logic, automatic theorem proving, computational linguistics and data collections as part of the Stephen Wolfram’s Science Group. In 2005 I attended the NKS-SS at Brown University where I developed a research project under the guidance of Stephen Wolfram and the mentorship of Matthew Szudzik. In 2007 I was invited to join the faculty of the NKS-SS at the University of Vermont in Burlington, VT. During the Summer of 2007 I was an intern at the Massachusetts Institute of Technology (MIT) and during the spring semester of 2008 a visiting scholar at Carnegie Mellon University (CMU) mostly interacting with Wilfried Sieg on applying performance tests to his automatic theorem prover AProS, and with Kevin Kelly on the relation of my research to his research on machine learning and his epistemological approach to computability. My research interests include the relation between computation and physics and what I call experimental algorithmic information theory. For more information about the author of this blog click here.

My research interests include the relation between computation and physics, experimental algorithmic information theory and pure NKS research. For more information about the author of this blog click here.

Everything written on this blog is only my own opinion and does not reflect the opinion of any of the organizations or institutions to which I am affiliated.