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.
H. Zenil, "Compression-based classification and clustering of Cellular Automata," submitted toComplex Systems, 2008.
JP Delahaye and H Zenil, "On the correlation of the probability distributions of abstract systems and real-world sources of information ," in preparation.
JP Delahaye and H Zenil, "Exact calculations of the output probability distributions of Turing machines and their program-size complexity," to be submitted, Experimental Mathematics, 2008
H. Zenil, "On the logical and algebraic properties of random axiom systems," to be submitted, Complex Systems, 2008.
Round table organizer, NKS 2007 Science Conference, University of Vermont, featuring Gregory Chaitin, Stephen Wolfram, Paul Davies, John Casti, Karl Svozil, Cristian Calude.
Peer reviewer, Computing Reviews, Association for Computing Machinery (ACM), books and papers since 2002 (authorized reviewer # 5666).
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.
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.
Awards and Grants Ministère de l'Enseignement supérieur et de la Recherche (bourse de mobilité aires culturelles), University of Paris.
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 SS 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"
