Bio[2009]
I am a PhD candidate in computer science at Lille 1 University (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 advice of Jean-Paul Delahaye, Cristian Calude and Jean Mosconi, respectively. I graduated with a BSc in mathematics from the National University of Mexico (UNAM) and with a master's degree in logic (LoPhiSS) from the University of Paris 1 Pantheon-Sorbonne. During the Summer of 2007, I was an intern at the Massachusetts Institute of Technology and during the Spring semester of 2008 a visiting scholar at Carnegie Mellon University.
In 2005 I attended the NKS Summer School at Brown University and since 2007 I've been invited to join the faculty of the school at the University of Vermont and at the CNR in Pisa, Italy in 2009. In 2006 I began collaborating with Wolfram Research as an R&D Fellow at the Special Projects office in Boston (Wolfram Science Group) and as a senior research associate in 2009 working on logic, computational linguistics and languages for Wolfram|Alpha.
H. Zenil, "Compression-based approach to the investigation of dynamical properties of cellular automata and other systems," journal of Complex Systems, 2010.
J.P. Delahaye and H. Zenil, "Numerical evaluation of the program-size complexity and logical depth of short sequences," In preparation, to be submitted to Experimental Mathematics .
H. Zenil, "On the logical and algebraic properties of first-order axiom systems," to be submitted to Applied Mathematics.
H. Zenil, "From program run times to the length of proofs: an statistical approach to theorem proving," to be submitted to Experimental Mathematics.
N. Gauvrit, J.P. Delahaye and H. Zenil, "On the Sloane gap," to be submitted to Mathematics and Social Sciences.
J.P. Delahaye and H. Zenil, "Algorithmic complexity and logical depth classification of organized structures from images," to be submitted to Applied Mathematics.
Selected Demonstrations Demonstrations are peer-reviewed small pieces of dynamical
code written in Mathematica showing a mathematical concept or scientific idea.
If you do not have Mathematica in order to run these Demonstrations you can download the Mathematica Player for free.
On the possible computational power of the human mind, The Centre for Complexity Research, Society and Complexity Conference, September 2005, University of Liverpool, England.
Panel discussion organizer, NKS 2007 Science Conference, University of Vermont, featuring Gregory Chaitin, Stephen Wolfram, Paul Davies, John Casti, Karl Svozil, Cristian Calude.
Peer reviewer for the journals of Fundamenta Informaticae, Complex Systems, Information Processing Letters and Discrete Applied Mathematics.
Shareholder and CEO
1998-2003
Enterprise Business Solutions (EBS), Mexico City, Mexico. Having as customers companies such as Telcel, Maxcom, Nextel, Unefon, ADT, Alestra (AT&T), among others.
IT consultant
1996-2000
CNBV (The Mexican banking regulatory commission) and KPMG (TELCO division) Mexico City, Mexico.
Volunteering and Internships Massachusetts Institute of Technology (M.I.T.)
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.
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 (M.I.T.) 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.
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) CONACYT (Master and PhD scolarship from the Mexican and French governments)
Other affiliations Association for Symbolic Logic (ASL), since 2005.
Kurt Gödel Society (KGS), since 2006.
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-2009
Back to the main page
Hector Zenil
<hector.zenil [at] lifl.fr>
<hectorz [at] alumni.cmu.edu>
Laboratoire d'Informatique Fondamentale de Lille and IHPST (Paris 1)
WWW URL: "http://zenil.mathrix.org"