About Hector Zenil

I’m a senior research associate at Wolfram Research, Inc. and a final year PhD candidate in computer science at the University of Lille 1 (Laboratoire d’Informatique Fondamentale de Lille) and in philosophy of mathematics at the IHPST (Paris 1/ENS Ulm/CNRS), preparing both dissertations on algorithmic randomness under the guidance of Jean-Paul Delahaye and Cristian Calude (computer science) and Jean Mosconi (philosophy of mathematics).

I graduated with a BSc in math from the National University of Mexico (UNAM) and with a master’s degree in logic (LoPhiSS) from the University of Paris 1 Pantheon-Sorbonne. My former thesis advisors (B.S. and Master) were Francisco Hernandez-Quiroz (UNAM) and Jacques Dubucs (IHPST).

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.

In 2005, I attended the NKS Summer School at Brown University, and since 2007 I’ve been on the faculty of the School held at the University of Vermont in 2007 and 2008, and at the CNR in Pisa (Italy) in 2009.

In 2006 I began collaborating with Wolfram Research as a consultant and R&D fellow at the Special Projects office in Boston (Wolfram Science Group) working on projects related to mathematical logic, automatic theorem proving, computational linguistics and data collections. Since 2009, I’m a senior research associate at Wolfram Research.

I’m member of the Turing Centenary Advisory Committee and the editor of Randomness through Computation, a book forthcoming soon.

Motivated by philosophical interests I seek to connect theoretical computer science to the real-world by way of computer experiments. My research interests include algorithmic information theory, the physics of computation, experimental and computational linguistics, and the foundations of math and computation.

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.