Broadly speaking, and motivated by foundational questions, I try to connect the world (or what happens in it) to information and computation.
I am interested in the foundations and applications of computation, and in the dynamic behaviour of simple computer programs with special attention to trade-offs among complexity measures.
I have held various visiting positions in the U.S. While a graduate student I was at the Massachusetts Institute of Technology (MIT) during the Summer of 2007 and was a visiting scholar at Carnegie Mellon during the Spring semester of 2008.
Experimental approaches to and applications of algorithmic information theory, measures of randomness and complexity.
The behaviour of small and simple computer programs and their dynamical qualitative properties, particularly in connection to (Turing) universality.
Foundations of computational models of biological and physical systems.
The thermodynamics of computation and computational physics.
Algorithmic probabilistic approaches to automatic theorem proving.
Intersections between algorithmic complexity and cryptography.
.
From left to right:
Hector Zenil, Stephen Wolfram, Paul Davies, Ugo Pagallo, Greg Chaitin, Cris Calude, Karl Svozil, Gordana Dodig-Crnkovic and John Casti. University of Vermont, USA. 2007.
(Picture by Sally McCay)
Media Coverage
The French edition of Scientific American (Pour La Science) N°405 has devoted the Logic and Computation (Logique et Calcul) section of its July 2011 issue to my work on algorithmic complexity under the title "Le défi des faibles complexités" (The challenge of the weak complexities). Full article here.
H. Zenil and J.A.R. Marshall, Aspects of Computation Essential to Evolution and Life, ACM Communications (Ubiquity) "Evolutionary Computation and the Processes of Life", forthcoming. [PDF]
K. Dingle, H. Zenil, A.A. Louis and J.A.R. Marshall, Simplicity Bias in Genotype-Phenotype Maps, In Preparation.
H. Zenil, On the Dynamic Behaviour of Turing Universal Machines, Ninth ICNAAM-ISCS, forthcoming in Complex Systems, 2012. [PDF]
J.-P. Delahaye and H. Zenil, Numerical Evaluation of the Complexity of Short Strings: A Glance Into the Innermost Structure of Algorithmic Randomness, Applied Mathematics and Computation, Elsevier, 2012. [PDF] [Additional Material]
H. Zenil, F. Soler-Toscano and J. Joosten, Empirical Encounters With Computational Irreducibility and Unpredictability, vol. 21, Minds and Machines, vol. 21, Springer 2011. [PDF].
H. Zenil, J.-P. Delahaye and C. Gaucherel, Image Information Content Characterization and Classification by Physical Complexity, Complexity, Elsevier, 2012. [PDF]
J. Joosten, H. Zenil and F. Soler-Toscano, Fractal Dimension as an Indication of the Terminating Runtime of Discrete Dynamical Systems, (abstract p. 214) in S. Thurner M. Szell (eds), Löcker Verlag, Vienna 2011.
J. Joosten, F. Soler-Toscano and H. Zenil, Program-size Versus Time Complexity, Speed-up and Slowdown Phenomena in Small Turing Machines, Int. Journ. of Unconventional Computing, special issue on Physics and Computation, vol. 7, no. 5, pp. 353--387, 2011. [PDF]
N. Gauvrit, J.-P. Delahaye and H. Zenil, The Sloane Gap: On the Distribution of Integers in the OEIS, French version published in Mathématiques et Sciences Humaines - Mathematics and Social Sciences n° 194, 2011. [PDF]
H. Zenil, Compression-based Investigation of the Dynamical Properties of Cellular Automata and Other Systems, Complex Systems, 19(1), pages 1-28, 2010. [PDF]
J. Joosten, F. Soler-Toscano and H. Zenil, Complejidad descriptiva y computacional en máquinas de Turing pequeñas, Actas de las V Jornadas Ibéricas, Lógica Universal e Unidade da Ciência, CFCUL, 2010. [PDF]
H. Zenil and J.-P. Delahaye, An Algorithmic Information-theoretic Approach to the Behaviour of Financial Markets, themed issue on Nonlinearity, Complexity and Randomness, Journal of Economic Surveys, Wiley, vol. 25-3, pp. 463, 2011. [PDF]
N. Gauvrit, H. Zenil, J.-P. Delahaye, Assessing Cognitive Randomness: A Kolmogorov Complexity Approach, arXiv:1106.3059v1 [cs.CC], 2011. [PDF]
.
.
Book Chapters
G.J. Martinez, J.C. Seck Tuoh Mora and H. Zenil, Universality in Cellular Automata a Short Review: Class IV versus Class III, in H. Zenil (ed), Irreducibility and Computational Equivalence: Wolfram Science 10 Years After the Publication of A New Kind of Science, In preparation.
H. Zenil, From Computer Runtimes to the Length of Proofs: With an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving, in M.J. Dinneen et al. (Eds.): Theoretical Computer Science and Applications, WTCS 2012 (Calude's Festschrift), LNCS 7160, pp. 224-240, Springer, 2012. [PDF]
L. Ma, H. Zenil, O. Brandouy and J.-P. Delahaye, Algorithmic Complexity of Financial Motions in S. Kinsella, New Directions in Modeling International Finance, Routledge Advances Series on Experimental and Computable Economics, forthcoming 2012. [PDF]
H. Zenil, and J.-P. Delahaye, Un método estable para la evaluación de la complejidad algorítmica de cadenas cortas (A Stable Method for the Evaluation of the Algorithmic Complexity of Short Strings), in G.J. Martinez, H. Zenil and C.R. Stevens (eds), Complex Systems as Computing Models, Luniver Press, 2011. [PDF]
H. Zenil and J.-P. Delahaye, An Algorithmic Information-theoretic Approach to the Behaviour of Financial Markets, in S. Zambelli, D.A.R. George (eds.) Nonlinearity, Complexity and Randomness in Economics: Towards Algorithmic Foundations for Economics, Wiley-Blackwell, 2011. [PDF]
Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil, Complejidad descriptiva y computacional en máquinas de Turing pequeñas, en Lógica Universal e Unidade da Ciência, Centro de Filosofia das Ciências da Universidade de Lisboa, pp. 11--32, 2011. [PDF]
H. Zenil and F. Hernandez-Quiroz, On the Possible Computational Power of the Human Mind, in Worldviews, Science and Us, Philosophy and Complexity, edited by C. Gershenson, D. Aerts, and B. Edmonds, World Scientific Publishing Company, 2007. [PDF]
Books & Edited Volumes
I. Zelinka, A. Sanayei, H. Zenil and O.E. Rössler (eds), Emergence, Complexity, and Computation in Nature, LNCS Series, Springer, forthcoming in 2012.
H. Zenil (ed), Irreducibility and Computational Equivalence: Wolfram Science 10 Years After the Publication of A New Kind of Science, forthcoming in 2012.
L'approche algorithmique de l'aléatoire et les fondements d'une théorie algorihmique du monde, thesis to obtain the PhD degree in philosophy under the advice of Jean Mosconi, IHPST (Paris 1/ENS Ulm/CNRS). (in progress)
Une approche experimentale à la théorie algorithmique de la complexité, thesis to obtain the PhD degree in computer science under the advice and guidance of Jean-Paul Delahaye and Cristian Calude (jury members: Greg Chaitin, Serge Grigorieff, Mathieu Philippe and Hervé Zwirn), University of Lille 1, 2011. [thesis reports]
Calcul et hyper calcul, (mémoire) to obtain the Master's degree in logic (LOPHISS) under the advice of Jacques Dubucs at the University of Paris 1 Panthéon-Sorbonne, 2006. 16/20
Encaje de las Redes Neuronales Recurrentes Analógicas en la Jerarquía Aritmética, to be awarded the bachelor in science (mathematics) degree, under the advice of Francisco Hernández-Quiroz, at the Facultad de Ciencias, UNAM, 2005.
.
Essays
H. Zenil, The World is Either Algorithmic or Mostly Random, FXQi Contest: Is Reality Digital or Analog? 3rd Prize winner, February 2011. [PDF]
H. Zenil, A Rambling Walk Through Randomness, In preparation.
Peer reviewer: Theoretical Computer Science; Fundamenta Informaticae; Complex Systems; Nonlinearity; Information Processing Letters; Discrete Applied Mathematics; International Journal of Unconventional Computing; and Natural Computing.
.
Selected Demonstrations
Demonstrations are small pieces of peer-reviewed dynamical programs written in Mathematica illustrating, in my case, a computer science or a mathematical logic concept.
If you do not have Mathematica in order to run these Demonstrations you can download the Wolfram CDF Player for free.
The Algorithmic Approach to Information and Meaning, at the Faculty of Informatics, July 7, 2011. Interdisciplinary Workshop: Ontological, Epistemological and Methodological Aspects of Computer Science (with Javier Blanco), Philosophy of Simulation (SimTech Cluster of Excellence), Institute of Philosophy, University of Stuttgart, Germany
Poster presentation: Enumerating and generating quantified axiom systems with equality for automatic theorem proving, Midwest NKS Conference 2005, Indiana University, USA.
On the possible computational power of the human mind, The Centre for Complexity Research, Society and Complexity Conference, September 2005, University of Liverpool, England, UK.
Foundational Questions Institute (FQXi) mini-grant awarded through the Silicon Valley Community Foundation for the project "Computation and Time", 2012.
Winning scientific image of the "2011 Kroto Institute Image Competition" with the image entitled "Runtime Space in a Peano Curve" in the category of Computational Imagery, 2011.
Bourse aux jeunes chercheurs Comité National Français d'Histoire et de Philosophie des Sciences, 2011.
Ministère de l'Enseignement Supérieur et de la Recherche (bourse de mobilité aires culturelles), 2007,University of Paris.
Association for Symbolic Logic (ASL) Travel Grant Award(CiE 06, Swansea UK)
NSF and the New England Complex Institute (NECSI) (ICCS06-Boston, USA)
Université de Lille III, Kurt Gödel: The Writings, Maison de la Recherche 2006, Lille, France.
Isaac Newton Institute for Mathematical Sciences, Cambridge University, UK (Visiting fellow, Workshop LAAW04, Wolfson Court, Girton College, UK), 2006.
CONACYT, Mexico (Masters and PhD Scolarships from the Mexican and French governments), 2005.
Shareholder and CEO
1998-2003 (having as customers companies such as Telcel, Maxcom, Nextel, Unefon, ADT, Alestra (AT&T), among others) Enterprise Business Solutions (EBS), Mexico City, Mexico.
IT consultant 1996-2000
CNBV (the Mexican banking regulatory commission), KPMG and other TELCOs. Mexico City, Mexico.
Volunteering & Internships Massachusetts Institute of Technology (MIT)
Summer 2007 Mars Gravity Biosatellite team
Supporting member of the software engineering team for the program, in charge of assembling, reviewing and enhancing software requirements and flowdown. Project co-sponsored by the NASA.
The International Wikimania Conference
Summer 2006
for the Wikimedia Foundation, Inc. (the Wikipedia Foundation) Wikimedia Organization Team, July-August, Cambridge, Massachusetts, U.S.A.
Massachusetts Institute of Technology (MIT) Summer 2006
Artificial Gravity Project (test subject)
Man-Vehicle Laboratory, August, Cambridge, Massachusetts, U.S.A.
Mexican Consulate in Seattle, WA.
December 2003-January 2004
Documentation and Consular Activities
Seattle, Washington, U.S.A.
Space Shuttle Endeavour STS-123 liftoff (video by H. Zenil on March 11, 2008)
This video recording was made from the vantage point of the Banana river, 6 miles from the Shuttle platform in a restricted area inside the Kennedy Space Center. The STS-123 was the 25th. flight to the International Space Station (ISS) and delivered a Japanese module and the Canadian Dextre robot.
.
NKS School trip to San Gimignano, Italy (Summer, 2009)
From left to right the school instructors: Hector Zenil, Jamie Williams, Paul-Jean Letourneau,
Tommaso Bolognesi, Jean Baetens. Among the participants: Ray Aschheim.
