Hector Zenil
www.andrew.cmu.edu/user/hectorz
www-ihpst.univ-paris1.fr/79,hector_zenil.html

hector.zenil-chavez[at]malix.univ-paris1.fr
hector.zenil[at]lifl.fr
hzenilc[at]cmu.edu


Bio [2009]
I am a graduate (PhD) student in computer science at Lille 1 University (Laboratoire d'Informatique Fondamentale de Lille) and in philosophy of mathematics at the IHPST (Paris 1/ENS/CNRS), preparing both dissertations on algorithmic randomness. 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. 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 working at Wolfram Research as an R&D Fellow at the Special Projects office (Wolfram Science Group) and as a senior research associate for Wolfram|Alpha in 2009.

My research interests include algorithmic information theory, foundations and physics of computation and the foundations of mathematics.

Academics
Visiting scholar
Invited by Jeremy Avigad, Kevin Kelly and Wilfried Sieg
Carnegie Mellon University

Ph.D. student in Computer Science
Advisors: Jean-Paul Delahaye and Cristian Calude
University of Lille 1 (Laboratoire d'Informatique Fondamentale de Lille - CNRS)

Ph.D. student in Philosophy of Science
Advisor: Jean Mosconi
IHPST (Paris 1/ENS/CNRS)

Master's degree in Logic (LoPHISS)
Advisor: Jacques Dubucs
University of Paris 1 Panthéon-Sorbonne

A trimester on Quantum Computing, Information and Complexity
Centre Emile Borel, Institut Henri Poincare

NKS-SS 2005

Under guidance of Stephen Wolfram and mentoring of Matthew Szudzik
Brown University

BSc in Mathematics

Advisor: Francisco Hernández-Quiroz
Universidad Nacional Autónoma de México (UNAM)

 

Selected Publications
Click here for a list of papers available online : arXiv

  • H. Zenil, "Compression-based approach to the investigation of dynamical properties of cellular automata and other systems," forthcoming in Complex Systems.
  • JP. Delahaye and H. Zenil, "Output probability distributions of Turing machines," In preparation, to be submitted to Experimental Mathematics.
  • H. Zenil, "On the logical and algebraic properties of random axiom systems," to be submitted to Complex Systems.
  • H. Zenil and JP. Delahaye, "Naturalness and Exactness of Universal Turing machines," to be submitted to Algorithms.
  • H. Zenil, "From program runtimes to the length of proofs: an statistical approach to theorem proving," to be submitted to Complex Systems.

 

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.

 



Lecturing, talks and poster presentation
Instructor, NKS Summer School 2009
CNR/ISTI, Italy.

Lectures material:
Basic Notions of NKS
| The TuringMachine function | Randomness

Talk: Towards a stable definition of program-size complexity: an experimental approach
September 24, 2009. ECCO Seminar Series, Vrije Universiteit Brussel, Belgium.
(presentation: available soon)

Poster presentation: Vers une théorie algorithmique de la vie? De Darwin à Chaitin. 200 ans de Darwin: entre sciences et humanités. Darwin2009.
ENS/CIES Jussieu/CIES Sorbonne, Samedi 4 avril 2009, ENS, Paris, France.

Talk: Program-size complexity for short strings
Math department, University of Florida, USA. (Algorithmic Randomness Summer School)
(presentation: English pdf)

Instructor, NKS Summer School 2008
University of Vermont, Burlington, USA.

Lectures material:
Basic Notions of NKS
| The TuringMachine function | Randomness

Talk: Complexité de Kolmogorov-Chaitin des séquences courtes
January 2008, Amphi Alan Turing, Bat M3
Université des Sciences et Technologies de Lille, France.

(presentation: French ppt | English pdf)

Talk: NKS Science Conference, 2007
On the Kolmogorov-Chaitin complexity for short sequences

University of Vermont, Burlington, USA.

Instructor, NKS Summer School 2008
University of Vermont, Burlington, USA.

Internal Tech Talk: Axioms, Proofs and Logic in Mathematica
September 12, 2006, Wolfram Research, Inc. U.S.A.

Poster presentation: Exploring the Mathematical Universe
NKS Science Conference 2006, Washington, DC, U.S.A.

Poster presentation: Enumerating quantified axiom systems with equality
Midwest NKS Conference 2005, Indiana University, U.S.A.

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.

Project presentation Talk: Generating the mathematical universe of first-order axiom systems, July 2005, NKS-SS 2005 Brown University, U.S.A.

Lecturing: Seminar on Artificial Intelligence
Teaching Assistant, 2005-2 semester

Course Number 0061, Math Department, Faculty of Science

National Autonomous University of Mexico (UNAM), Mexico.

The theory of computation in Matrix the film
UAM Iztapalapa 2004.

Quantum Computing: From Bohr to the qubits
Anfiteatro Alfredo Barrera, Amoxcalli,
Facultad de Ciencias, UNAM, 2003.

 

Organizing, reviewing and comittee membering

 


Upcoming conferences:

4th Conference on Logic Computability and Randomness,
June 30 - July 3, 2009, Marseille, France.
NKS Summer School 2009, June 22 - July 10, 2009, Pisa Italy.
Just One Universal Algorithm (JOUAL), July 11 - July 13, 2009, Pisa, Italy.
CiE 2009
- Computability in Europe 2009: Mathematical Theory
and Computational Practice, University of Heidelberg, 19-24 July, 2009
Physics and Computation 2009, September 7-11th 2009,
Ponta-Delgada, Azores, Portugal.
LIX Colloquium, Reachability Problems'09, 2009, Ecole Polytechnique, Paris, France
CiE 2010 - Computability in Europe 2010:
Programs, Proofs, Processes, Portugal, June, 2010.
CiE 2012 - Computability in Europe 2012: Turing Centenary Conference,
University of Cambridge, June 18 - 23, 2012.


Past conferences:

The Science and Philosophy of Unconventional Computing (SPUC09),
Cambridge (UK), March 23-25, 2009, England.
2008 Midwest NKS Conference, What is Computation?
October 31–November 2, Indiana University, USA.
International Workshop on The Complexity of Simple Programs
,
December 6 - 7, 2008, University College Cork, Ireland.
NKS Summer School 2008, 23 June-11 July, 2008,
Burlington, VT. U.S.A.
Algorithmic Randomness Workshop, June 9-20,
University of Florida, Gainesville, Florida, U.S.A.
NESCAI08: The Third North East Student Colloquium on Artificial Intelligence
,
2-4 May 2008, Cornell University, Ithaca, New York, U.S.A.
Defining Life Coloquium,
February 4-5, Paris, France.
Models and Simulations 2,
11-13 October 2007, Tilburg University, The Netherlands.
NKS Conference 2007
, 13-15 July, University of Vermont,
Burlington, U.S.A.
Computability in Europe 2007, CiE07, 18-23 June, University of Siena, Italy.
Machines, Computations and Universality, MCU, 10-15 September, 2007, Orléans, France
Biennale di Venezia,
52nd International Art Exhibition, Venice, Italy.
Joint Session 2006, Conference of the International Union of History and Philophy of Science: Calculability and Constructivity, November 17-18 2006, ENS, Paris, France.
Is the Universe a Computer? November 6-7 2006, Technikmuseum, Berlin, Germany.
The Hacking Days
, MIT, August 1-3 2006, Cambridge, MA. U.S.A.
Wikimania 2006, Harvard University, August 4-6 2006, Cambridge, MA.
Computability in Europe (CiE),
June 30-July 5 2006, University of Swansea, Wales, U.K.
International Conference on Complex Systems, ICCS,
June 25-30 2006, Boston, MA.
SIGGRAPH 2006,, 30 July-3 August 2006, Convention Center, Boston, MA. U.S.A.
NKS Conference 2006 , 16-18 June 2006, Fairmont Hotel, Washington, D.C. U.S.A.
The making up of organisms: Mapping the future of biological models and theories",
June, 8-10 2006, Ecole Normale Supérieure, Paris, France.
Kurt Gödel: the writings, 18-20 May 2006, Université Lille III, Lille, France.
Horizonts of Truth: Gödel Centenary, 27-29 April 2006, University of Vienna, Austria.
New Directions in Proof Complexity, 10-13 April 2006, Cambridge University, U.K.
Quantum Information, Computation and Complexity, January 4-April 7 2006, Institute Henri Poincaré, Paris, France.
International Conference on Complex Systems (ICCS), NECSI, Summer 2006, Boston, MA.
Complexity, Science & Society Conference, Centre for Complexity Research, September 2005, University of Liverpool, U.K. (speaker).
Sun Microsystems Java Technology Days
, November 1999, London, UK.

 

Other Professional Experience
Language Evaluator
2006-2007

European Language Resources Association (ELRA)

ELDA - Evaluations and Language Resources Distribution Agency

TC-STAR (Technology and Corpora for Speech to Speech Translation), Paris, France.


Technical assistant
2003-2005

Conacyt-UNAM
Cienciorama
, Mexico City, Mexico.
(Winner of the best Mexican scientific portal prize awarded by the SOMEDICYT in 2006)


Shareholder and CEO
1998-2003
Enterprise Business Solutions (EBS)

with customers such as Telcel, Maxcom, Nextel, Unefon, ADT, Alestra (AT&T), among others. Mexico City, Mexico.


IT consultant
1996-2000
CNBV (The Mexican banking regulatory commission) and KPMG
(mainly for TELCOs)
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 grant
through 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 P
hD scolarships from the Mexican and French governments)

 

Other affiliations
Association for Symbolic Logic (ASL), since 2005.
Kurt Gödel Society (KGS)
, since 2006.


Other Publications

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)

French

Hector Zenil, Sur l'universalité des classes de calcul des nombres réels, 2005, http://arxiv.org/abs/cs/0608094
Hector Zenil, Master's dissertation (-LoPHISS- logic mention): Calcul et Hypercalcul, Advisor: Jacques Dubucs, Panthéon-Sorbonne University
Hector Zenil, mémoire du cours Extensions de la Logique de Premier Ordre par M. Gabriel Sandu, IHPST

Spanish

Hector Zenil, Tesis para obtener el grado de Matemático, Redes Neuronales Recurrentes Analógicas y los lenguajes que aceptan según la complejidad de sus pesos, Director: Francisco Hernández-Quiroz, Facultad Ciencias, UNAM
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.

 

 

Hector Zenil, Stephen Wolfram, Paul Davies, Ugo Pagallo, Gregory Chaitin, Cristian Calude, Karl Svozil, Gordana Dodig-Crnkovic and John Casti
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"

 

Main | Blog | Research
Flickr
| Personal Agenda

 

 


Research

Experimental Algorithmic Information Theory (EAIT)

The shortest universal Turing machine implementation contest

Book on Randomness:
5 Questions


Other Links

My Demonstrations

My OEIS sequences

Some of my papers available in the arXiv

Jean-Paul Delahaye

Stephen Wolfram

Cristian S. Calude

Gregory Chaitin

Charles Bennett

Leonid Levin

Marvin Minsky

John A Wheeler

Richard Feynman

Gerard 't Hooft

Seth Lloyd

Rod G. Downey

Donald Knuth

David H. Bailey
"Computo ergo sum"

John Elliott

Francisco
Hernández-Quiroz

Jean-Yves Girard

Ed Fredkin

Wilfried Sieg

Kevin Kelly

Jeremy Avigad

Doron Zeilberger

Barry Cooper

Albert-László Barabási

Cris Moore

Peter Shor

David Deutsch

Giuseppe Longo

Piergiorgio Odifreddi

Douglas Hofstadter

William Flake

Stephen Simpson

Harvey Friedman

Christof Koch

Eduardo D. Sontag

José Felix da Costa

Matthew Szudzik

Fritz H. Obermeyer

Todd Rowland

Wolfgang Maass

James F. Kennedy

Umberto Eco

Ray Solomonoff

John D. Barrow

Christos H. Papadimitriou

Dana Scott

Hilary Putnam

Hava Siegelmann

Cristophe Teuscher

Martin Davis

Paul Davies

Noam Chomsky

Alain Cardon


Resources

Logic and Proofs
Open Learning Initiative

Online Handbook of Applied Cryptography

String Similarity Metrics

World of Symbols

Mondovortoj Centre for Computational Linguistics

Algorithmic Randomness and Complexity book

Donald Knuth
Online Lectures

Michael Trott's
Mathematica Guidebooks

Ed Pegg Jr. Mathpuzzle

Docudrama of
Douglas Hofstadter and Daniel Dennett with
Marvin Minsky

What is Reality?

 

Afiliations and
Other Links

Wolfram Science

John Templeton Foundation

K. Godel Society

Association for Symbolic Logic

Computability in Europe

CNRS

Conacyt

EPSRC

UNAM

Brown University

Massachusetts Intitute of Technology (MIT)

Carnegie Mellon University

IHPST

Wolfram Research

Isaac Newton Institute, University of Cambridge

Centre Emile Borel, Henri Poincare Institute

La Sorbonne

Institute des Systemes Complexes de Paris

Université de Paris 1 (Pantheon-Sorbonne)

Université de Sciences et Technologies de Lille

Laboratoire d'Informatique Fondamentale de Lille

Mind Brain Institute

Research Group on Mathematical Linguistics

Ecole Polytechnique Fédéral de Laussanne

College de France

Space Generation


Media Links

Wired

LetrasLibres

Nexos

Algarabia

La Jornada

TV5

Le Nouvel Observateur

Le Monde

Le Figaro

TF1

BBC

The Guardian

Financial Times

Reuters

CNN

The New Yorker

New York Times

The Washington Post

Boston Globe

Wall Street Journal


Art Games

Passage

Gravitation


Personal Links

My father's homepage

My brother's homepage

My sister's MySpace

Mexico City from Emporis