In 2005 I attended the NKS Summer School at Brown University and in 2007 I was invited to join the faculty of the school at the University of Vermont. I started working for Wolfram Research as an R&D Fellow in 2006 where I have been working on projects related to mathematical logic, automatic theorem proving, computational linguistics and data collections.
JP Delahaye and H Zenil, "Exact calculations of the output probability distributions of Turing machines and program-size complexity," to be submitted to Experimental Mathematics, 2008
JP Delahaye and H Zenil, "On the correlation of the probability distributions of abstract systems and real-world sources of information ," in preparation, 2009 .
H. Zenil, "Compression-based classification and clustering of the behavior of abstract machines," to be submitted toComplex Systems, 2008.
H. Zenil, "On the logical and algebraic properties of random first-order axiom systems," to be submitted toComplex Systems, 2008.
NKS 2007 Science Conference, University of Vermont, round table organizer featuring Gregory Chaitin, Stephen Wolfram, Paul Davies, John Casti, Karl Svozil, Cristian Calude.
Computing Reviews, Association for Computing Machinery (ACM), books and papers reviewer since 2002 (authorized reviewer # 5666).
Teaching, lecturing, talks and poster presentations Talk: Program-size complexity for short strings.
Algorithmic Randomness Summer School, University of Florida.
(presentation: English pdf)
Conference Talk: How might the human mind be computationally more powerful
than Turing machines? in joint with Francisco Hernandez-Quiroz The Centre for Complexity Research, Society and Complexity Conference September 2005, University of Liverpool, England.
Professional Experience (other than academia) 2006-Currently Wolfram Research, Inc. R&D Fellow, Wolfram Science Group, Special Projects Office, Cambridge, MA, USA.
1998-2003
Enterprise Business Solutions (EBS) Shareholder and CEO with customers such as Telcel, Maxcom, Nextel, Unefon, ADT, Alestra (AT&T), among others. Mexico City, Mexico.
1996-2000
CNBV (The Mexican banking regulatory commission) and KPMG Several positions, from IT consultant to senior TELCO consultant. Mexico City, Mexico.
Volunteering and Internships 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.
Massachusetts Institute of Technology (M.I.T.)
Summer 2006
The International Wikimania Conference from Wikimedia Foundation, Inc. Wikimedia Organization Team, July-August, Cambridge, Massachusetts, U.S.A.
December 2003-January 2004 Documentation and Consular Activities Mexican Consulate, Seattle, Washington, U.S.A.
I have also peer-reviewed for the following journals: Complex Systems, Fundamenta Informaticae and ACM Computing.
Awards and Grants Ministère de l'Enseignement supérieur et de la Recherche (bourse de mobilité aires culturelles), University of Paris.
University of Metz (Machines, Computations and Universality MCU 07, Orleans, France)
University of Siena(CiE 07, Siena, Italy)
Association for Symbolic Logic (ASL) Travel Grant Award(CiE 06, Swansea UK)
NSF grantthrough 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, (Workshop LAAW04, Wolfson Court, Girton College, UK) Wolfram Research Inc. (NKS Summer School 2005 at Brown University, Providence, USA) CONACYT (Master and PhD scolarships from the Mexican and French governments)
Other affiliations Association of Symbolic Logic (ASL), since 2005.
Kurt Gödel Society (KGS), since 2006.
Other Publications
In English
Hector Zenil, Natural computation and non-Turing models of computation Printed 12/1/2005, Association for Computing Machinery (ACM)
Hector Zenil, Emergence of a super-Turing computational potential in artificial living systems Published Online 6/17/2005, Association for Computing Machinery (ACM)
Hector Zenil, Reconstructing a simple polytope from its graph Printed 2/1/2005, Association for Computing Machinery (ACM)
Hector Zenil, Theoretical computer science: introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography Printed 1/1/2005, Association for Computing Machinery (ACM)
Hector Zenil Chavez: Artificial Intelligence Profits from Biological Lessons, Distributed Systems Online 5(5): (2004) (IEEE)
Hector Zenil, Computability theory review Printed 8/1/2004, Association for Computing Machinery (ACM)
Hector Zenil, Introduction to languages, machines, and logic: computable machines, abstract machines, and formal logic, Printed 2/1/2004, Association for Computing Machinery (ACM)
Hector Zenil, Shakespeare, a biography.
Published by Editores Unidos Mexicanos, Type: Book
Hector Zenil, Teoría de Poliedros Anidados: Contando Subcuadrados en Látices. Revista Laberintos e Infinitos, ITAM, 2005
Hector Zenil, Sistemas Complejos Adaptativos y Computación Evolutiva: La sopa primigenia de las conductas inteligentes emergentes. Revista Ciencia de la Academia Mexicana de Ciencias, A.C. 2005
Hector Zenil, ¿3=3? Lo que un número es o no es. Revista Ciencias No. 74 de la Facultad de Ciencias, UNAM, 2005
Space Shuttle Endeavour STS-123 liftoff (video taken by Hector Zenil on March 11, 2008)
This video recording was taken 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 will be delivering a Japanese module and the Canadian Dextre robot.
From left to right: Hector Zenil, Stephen Wolfram, Paul Davies, Ugo Pagallo, Gregory Chaitin, Cristian Calude, Karl Svozil, Gordana Dodig-Crnkovic and John Casti. University of Vermont, Burlington, USA. Picture taken by Sally McCay.
Héctor Zenil-Chávez, Personal Homepage 2006-2007
Back to the main page
Hector Zenil
<hector.zenil [at-] lifl.fr>
<hectorz [at-] andrew.cmu.edu>
Laboratoire d'Informatique Fondamentale de Lille and IHPST (Paris 1)
WWW URL: "http://zenil.mathrix.org"
