I
split my research time between Stockholm and Oxford. I am a research associate in algorithmic information and computational
biology
at the Unit
of Computational
Medicine of the Karolinska
Institute in Sweden. My research focuses on
applying information theory and complexity science to
genomics, synthetic and network biology. With backgrounds in math, computer science and philosophy, I
think of myself as a kind of computational natural scientist or information-theoretic biologist. Gregory Chaitin once referred to me as a "new kind of practical theoretician".
I
have been an R&D fellow and senior
research associate for Wolfram
Research in the U.S. since
2006 in Stephen Wolfram's science group in Boston. Invited member of the Foundational
Questions Institute (FQXi); an honorary founding associate of ASSRU (Economics
Dept. Trento, Italy); a member of the Turing
Centenary Advisory Committee in the UK and
of the national researchers system (SNI) in Mexico, and an Editorial Board member of Frontiers (a Nature group journal) for AI and computational intelligence.
My research in 2 lines using only the 1000 most common English words: There is order in the world often hidden and hard to sort. I study how to spot it, especially small things that others would not see. [Thanks to the Up-goer Five Editor]
(see also large image at the end of this webpage with an accessible explanation to some otherwise difficult theoretic and fundamental topics in computer science that are at the core of my research interests. It is a visual explanation of undecidability, uncomputability, algorithmic information theory and computational complexity all in a single image)
Current Research Interests
Tradeoffs of complexity measures
Controllability and programmability
Spatial, molecular and natural computing
Information theory and algebraic
graph theory
Computational and network biology
Complex systems as models of computation
Latest News
My two books Randomness Through Computation and A Computable Universe (with a foreword by Sir Roger Penrose) published by World Scientific/Imperial College Press have reached academic bestseller status, the later recently reaching 500 sold copies in the first year, also now available for Kindle. [Amazon US, Amazon UK, WSPC]
Keynote speaker atIACAP 2014 of the International Association for Computing And Philosophy July 2014, Thessaloniki, Greece. Talk title: Algorithmic Information Biology.
Featured in theJuly
2011 issueN°405 of Pour
La Science (the
French edition of Scientific American) devoted the Logic and
Computation (Logique et Calcul): "Le
défi des faibles complexités" (The
challenge of weak complexities). Full article here.
Journalist John Santore from the
Northwestern University interviewed me (August 2012) on the Turing
Year as a member of the Turing Centenary Advisory Committee.
Transcription here.
Selected Journal Papers
(* with ISI/SCI IF) (# joint first author)
Calculating Kolmogorov Complexity from the Output Frequency Distributions of Small Turing Machines
F.
Soler-Toscano, H.
Zenil#, J.-P. Delahaye and N. Gauvrit * PLOS ONE(in press) [preprint, data, online program, Mathematica API, R package]
Correlation of Automorphism Group Size and Topological
Properties with Program-size Complexity Evaluations of Graphs
and Complex Networks
H. Zenil, F. Soler-Toscano, K. Dingle and
A. Louis * Physica A: Statistical Mechanics
and its Applications, vol. 404, pp. 341–358, 2014. [online,preprint] DOI: 10.1016/j.physa.2014.02.060
Complexity Measurement Based on Information Theory
and Kolmogorov Complexity L. Ting
Lui, G. Terrazas, H. Zenil,
C. Alexander and N. Krasnogor * Artificial
Life (in press)
Algorithmic complexity for short binary strings applied
to psychology: a primer N. Gauvrit, H.
Zenil, F.
Soler-Toscano and J.-P. Delahaye *
Behavior Research Methods (in press) [preprint,
online] DOI: 10.3758/s13428-013-0416-0
Correspondence and Independence of Numerical Evaluations
of Algorithmic Information Measures
F. Soler-Toscano, H. Zenil#, J.-P. Delahaye
and N. Gauvrit Computability,
vol. 2, no. 2, pp 125-140, 2013.
DOI 10.3233/COM-13019 [online, preprint]
Exploring Programmable Self-Assembly in Non DNA-based
Computing
G.
Terrazas, H. Zenil and N. Krasnogor *
Natural Computing, vol 12(4): 499--515, 2013.
DOI: 10.1007/s11047-013-9397-2 [online, preprint]
Life as Thermodynamic Evidence of Algorithmic Structure in Natural Environments H. Zenil, C. Gershenson, J.A.R. Marshall and D. Rosenblueth *
Entropy, 14(11),
2173-2191, 2012. [online]
DOI: 10.3390/e14112173
Computation and Universality: Class IV versus Class III Cellular Automata
G.J. Martinez, J.C. Seck-Touh-Mora and H. Zenil *
Journal of Cellular Automata, vol. 7, no. 5-6, pp. 393-430,
2013.
Some Aspects of Computation Essential to Evolution and
Life H. Zenil and J.A.R. Marshall Ubiquity (ACM),
vol. 2013, no. April (2013), pp 1-16. [online, preprint]
On the Dynamic Qualitative Behaviour of Universal Computation H. Zenil Complex Systems, 20-3, pp 265-277, 2012. [online,preprint]
What is Nature-like Computation? A Behavioural Approach
and a Notion of Programmability
H. Zenil
Philosophy & Technology (special
issue on the History and Philosophy of Computing), 2013. [online, preprint]
DOI: 10.1007/s13347-012-0095-2
Sloane’s Gap: Do Mathematical and Social Factors Explain
the Distribution of Numbers in the OEIS?
N. Gauvrit, J.-P. Delahaye and H. Zenil Journal
of Humanistic Mathematics,
vol. 3, no. 1, pp. 3-19, 2013. [preprint,
featured
in Numberphile] DOI: 10.5642/jhummath.201301.03
Program-size versus Time complexity, Slowdown and speed-up
phenomena in the micro-cosmos of small Turing machines
J.J. Joosten, F. Soler Toscano and H. Zenil#
*
International Journal of Unconventional Computing, vol.
7, no. 5, pp. 353-387, 2011. [preprint]
Image Information Content Characterization and Classification by Physical Complexity H. Zenil, J.-P. Delahaye and C. Gaucherel *
Complexity,
vol. 17-3, pages 26-42, 2012.
[preprint] DOI:10.1002/cplx.20388
Compression-based Investigation of the Dynamical Properties of Cellular Automata and Other Systems
H. Zenil
Complex Systems, vol. 19, No. 1, pp. 1-28, 2010. [online]
11. J.J.
Joosten, F. Soler-Toscano, H. Zenil Fractal
Dimension of Space-time Diagrams and the Runtime Complexity of Small
Turing Machines
In T. Neary and M. Cook (Eds.): Machines,
Computations and Universality (MCU 2013), EPTCS 128,
2013, pp. 29-30, DOI: 10.4204/EPTCS.128.9. [abstract, presentation]
10. H.
Zenil, G. Ball and J. Tegnér Testing Biological
Models for Non-linear Sensitivity with a Programmability Test
In P. Liò, O. Miglino, G. Nicosia, S. Nolfi and M. Pavone
(eds), Advances
in Artificial Intelligence, ECAL 2013, pp. 1222-1223,
MIT Press, 2013. DOI: http://dx.doi.org/10.7551/978-0-262-31719-2-ch188
[online]
9. S.
Hernández-Orozco, F. Hernández-Quiroz and H.
Zenil Sparsity of Non-trivial Proving Speed-up in Random
Systems of Propositional Calculus
In Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.),
The Nature of Computation, Logic, Algorithms, Applications;
9th Conference on Computability
in Europe, CiE 2013, 2013.
8. H.
Zenil A Turing Test-Inspired Approach to Natural Computation
In G. Primiero and L. De Mol (eds.), Turing in Context II, Historical
and Contemporary Research in Logic, Computing Machinery and Artificial Intelligence.
Proceedings by the Royal Flemish
Academy of Belgium for Science and the Arts, Belgium, 2013.
5. L.
Ma, O. Brandouy, J.-P. Delahaye and H. Zenil Algorithmic Complexity of Financial Motions
In S. Kinsella, New
Directions in Modeling International Finance, Routledge Advances
Series on Experimental and Computable Economics, 2012. [preprint]
4. H. Zenil What Randomness for What Biological Process? XXIII SITGES,
Understanding and Managing Randomness in Physics, Chemistry
and Biology, University of Barcelona,
p.98, Spain, 2012.
3. J.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,European
Conference on Complex Systems (ECCS'11),
2011.
2. J.J. Joosten, F. Soler-Toscano and H. Zenil# Program-size versus Time complexity, Slowdown
and speed-up phenomena in the micro-cosmos of small Turing
machines
In H. Guerra (ed.). Physics and Computation 2010, CAMIT, 3rdInternational
Workshop on Physics and Computation 2010. [PDF]
1. J.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, CFCU 2010.
[preprint]
In Collections
10. H.
Zenil and J. Tegnér Methods of information theory and algorithmic complexity
for network biology
In M. Elloumi, C.S. Iliopoulos, J.T.L. Wang and A.Y. Zomaya (eds.), Pattern Recognition in Computational Molecular Biology: Techniques and ApproachesWiley Book Series on Bioinformatics: Computational Techniques and Engineering, Wiley-Blackwell, John Wiley & Sons Ltd.,
(to appear) [preprint]
9. H.
Zenil
Turing, Randomness and Economics In K. Velupillai and S-H. Chen (eds), Mathematics in
Economics - Foundations, Philosophy and Epistemology, World Scientific (forthcoming) [preprint]
7. 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. [preprint]
6. 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. [preprint]
2. J.J. Joosten, F. Soler-Toscano, H. 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. [preprint]
I.
Zelinka, A. Sanayei, H. Zenil and O.E. Rössler
(eds), How Nature Works, Complexity in Interdisciplinary
Research and Applications,
Series: Emergence, Complexity and Computation, Vol. 5,
Springer,
2013.
H. Zenil, F. Soler-Toscano,
J.-P. Delahaye and N. Gauvrit, Methods and Applications
of Kolmogorov Complexity,
Springer, forthcoming 2014.
Theses
L'approche algorithmique de
l'aléatoire, thesis fulfilling the dissertation
requirement for the Degree of Doctor of Philosophy under
the direction of J.
Mosconi, IHPST (Paris 1/ENS Ulm/CNRS).
(in progress)
Calcul et hyper calcul,
(mémoire) fulfilling the dissertation requirement for
the degree of Masters (Logic) under the direction
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 fulfilling the requirement for the B.Sc. (Math) degree, under advice of F. Hernández-Quiroz, Facultad de Ciencias, UNAM, 2005.
Selected Essays and Reviews
H.
Zenil, The Seemingly Contradictory Philosophical
Legacy of Turing and Shannon, AISB
Quarterly no. 138 pp. 9--15, 2014. [PDF]
H. Zenil and J.A.R. Marshall Some Aspects of Computation Essential to Evolution and
Life Ubiquity (ACM),
vol. 2013, no. April (2013), pp 1-16. [online, preprint]
H.
Zenil, Complejidad y Aleatoriedad,
Ciencia (número especial de Turing), Academia
Mexicana de Ciencias, vol 64-4, 2013. [online]. The outstanding cover of the special issue here.
And the full article here.
A. German and H. Zenil, Afterword to Konrad Zuse's Calculating Space (Rechnender Raum)--The MIT translation--In A Computable Universe, World Scientific, 2012. [PDF]
H. Zenil, Introducing
the Computable Universe, Introduction to A Computable
Universe (foreword by Roger Penrose), World Scientific,
2012. [PDF]
H. Zenil
An Algorithmic Approach to Information and Meaning APA Newsletter on Philosophy and Computers, vol. 11, No. 1, 2011. [online]
H. Zenil
Information Theory and Computational Thermodynamics: Lessons
for Biology from Physics Information 3, no. 4: 739-750, 2012. [online] DOI: :10.3390/info3040739
H. Zenil The Complexity of Simple Programs: Workshop Report from Cork, Ireland Bulletinof the EuropeanAssociation for TheoreticalComputer Science (BEATCS), 2009.
H. Zenil Très courte enquête sur l'extension non-triviale de la logique de propositions à la logique du premier et deuxième ordre
2005. [PDF]
F. Soler-Toscano (Seville), J.-P.
Delahaye (Lille), J. Tegnér (Stockholm), G. Ball (Stockholm), J.J. Joosten (Barcelona), N.
Gauvrit (Paris), N. Kiani (Stockholm), Venkateshan Kannan (Stockholm), J.A.R.
Marshall (Sheffield), A. German (Bloomington), C. Gaucherel (Montpellier),
J.-F. Colonna (Ecole Polytechnique, Paris), L. Ma (Lille), O. Brandouy
(Paris), C. Gershenson (UNAM), G.J. Martínez
(UWE Bristol, IPN), F. Hernandez-Quiroz (UNAM), J.C. Seck-Touh-Mora
(Mexico), I. Zelinka (Czeck Republic), D. Rosenblueth (UNAM), N.
Krasnogor (Nottingham), D. Gomez-Cabrero
(Stockholm), G. Terrazas (Nottingham), C.R. Stephens
(UNAM), K. Dingle
(Oxford), A.A. Louis (Oxford), T. Bolognesi (Pisa), P. Brugger (Zürich),
A. Cameron (Nottingham), Sybil Derrible (Illinois, Chicago). L. Leon (Hong Kong), J. Riedel (Bremen and Oldenburg), P. Minary (Oxford).
Student supervision
Yue Deng (M.Sc.math
and computational biology at KI Stockholm). Subject: Dynamical properties
of perturbed Boolean biological networks.
Jakub Olczak, (math
and medicine at KTH, and KI Stockholm). Subject: topological
network reconstruction.
Jordi Serra (BSc.
computer science at UNAM). Thesis subject: Graph theoretic properties
of motif networks
Santiago Hernández
Orozco (M.Sc. mathematical logic at UNAM). Thesis subject: speedup
distribution of random axiomatic systems of propositional logic.
(thesis,
CiE presentation).
Alberto Hernández (PhD philosophy of science at UNAM) Thesis
subject: functionalism and computationalism.
Member
of theRegistro CONACYT de Evaluadores
Acreditados (RCEA) (Mexican National Science Council)
Expert reviewer for the National Science Foundation (NSF), USA. 2012 and appointed expert scientific evaluator for by the European Commission in 2011 (FP7 proposals).
Invited Expert Review Panel member at the Foundational Questions Institute (FQXi)
Reviewer for the CONICYT (Comisión
Nacional de Investigación Científica y Tecnológica),
gobierno de Chile, 2009.
Peer reviewed for: Theoretical
Computer Science; Fundamenta Informaticae; Complex Systems;
Nonlinearity; Information Processing Letters; Discrete Applied
Mathematics; International Journal of Unconventional Computing;
and Natural Computing, New Journal of Physics.
Book and paperreviewer: For the ACM Computing Reviews (more than 25 reviews published, some of them featured selected review and selected reviewer).
Lecturing, Recent & Forthcoming Talks
2014
Plenary
speaker. Talk title: Information Biology, The Annual
Meeting of the International Association
for
Computing
and Philosophy (IACAP) 2014, 2-4, July, Thessaloniki, Greece.
Guest
Lecture: Complexity
and Computation in Nature, CDT403 Research
Methods in Natural Sciences and Engineering, Thur
2013-10-03, 15-17.00, Mälardalen University.
School of Innovation, Design and Engineering, Sweden.
Short
talk (and poster):
How can we test for artificial life? Testing for Non-linear
Sensitivity and Programmability, Synthetic
Modeling of Life and Cognition, SMLC 2013, September
2013, Taormina,
Italy.
Invited
seminar talk: Algorithmic Information Theory and Synthetic
Biology: Towards characterising and reprogramming nature, February
21, Unit of Computational Medicine, Karolinska
Institute, Stockholm, Sweden.
Talk: A Turing Test-Inspired Approach to Natural Computation, Turing in Context II, Historical and Contemporary Research in Logic, Computing Machinery and Artificial Intelligence, Royal
Flemish Academy for the Sciences and Arts, Paleis der Academieën, October, 12, Brussels, Belgium.
Invited talk: Turing, Randomness
and Economics (Turing, aleatoriedad y economía),Alan Turing Workshop From Computers to Life, June 2012, Turing Centenary event, CEIICH, Universidad
Nacional Autónoma de México (UNAM), July, Mexico City,Mexico.
Talk: The Algorithmic Approach to Information and Meaning, Faculty of Informatics. Interdisciplinary Workshop: Ontological, Epistemological and Methodological Aspects of Computer Science, Philosophy of Simulation (SimTech Cluster of Excellence), Institute of Philosophy, July 7, University of Stuttgart, Germany.
Invited talk: The Algorithmic Footprint in Empirical Data, Workshop on Nonlinearity, Complexity and Randomness, Department of Economics, CIFREM, October 27, University of Trento, Italy.
Talk: On the possible computational power of the human mind, The Centre for Complexity Research, Society and Complexity Conference, September 2005, University of Liverpool, UK.
Invited talk: The Computer Science behind Matrix the film, Universidad
Autónoma de México (UAM), Mexico City, Mexico.
Periodically
Instructor, Lecturing
on Randomness, Turing Machines and conducting searches--since
2007. Also student supervising.Wolfram
Science School, University of Vermont, Bentley,
and ISTI, CRS Italy (in 2009).
Awards & Grants
Foundational
Questions Institute (FQXi) mini-grant awarded by
way of the Silicon Valley Community Foundation for travel
support in the context of my "The Nature
of Computation
and the Physics of Information", (FQXi-MGA-1316),
2013-2014.
Appointed
member of the National Researchers Body (Sistema Nacional
de Investigadores--SNI)
of the National Council of Science and Technology of Mexico (CONACyT),
2012.
Foundational Questions Institute (FQXi) mini-grant awarded by way of the Silicon Valley Community Foundation for the project "Computation and Biology", (No. FQXi-MGA-1212) 2012-2013.
Foundational Questions Institute (FQXi) mini-grant awarded by way of the Silicon Valley Community Foundation for the project "Computation and Time" (no. 2011-93849 (4661)), 2011-2012.
Winner in the Computational Imagery category of
the "2011
Kroto Institute Scientific Image Competition". Image
entitled "Visualising
the Computational Universe:Runtime Space in a
Peano Curve",
2011.
Early nominated to the MIT Technology Review (Spanish
version) annual list of 35 INNOVATORS UNDER 35, 2012.
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.
Masters and PhD fellowships from CONACYT and the French Ministry of Education, 2005-2011.
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.
An uncomputable picture of uncomputable art: This picture, titled “Visualizing the Computational Universe: Runtime Space in a Peano Curve," won me 1st. prize in the Computational Imagery category of the "2011 Kroto Institute Scientific Image Competition" held in the UK. It represents a small slice of the computational universe of all possible computer programs. Each pixel represents a computer program with empty input running on an abstract computer (a Turing machine). The color indicates the runtime of the program upon completion of its computation. The darker a pixel the longer the program took to produce its output. White pixels are computer programs that do not produce any output because they never halt (just as happens when your computer hangs forever sometimes making you reboot). Red pixels are the computer programs that take the longest time—relative to other programs of the same size-- before finishing (they are also called Busy Beavers). I call this color type coding the computability spectrum. Programs were sorted by size from smallest to largest (in terms of number of instructions) in such a way that one could be certain that any program would eventually be reached (including versions of MS Windows and Angry Birds that can be encoded as one-run computer programs). Because there is no upper limit to the size of programs, the space of all computer programs is infinite but discrete, perhaps mirroring our own world. Because an enumeration of computer programs is linear (you start with program 1, then proceed to program 2, and so on) pixels depicted in this 2-dimensional figure are disposed along a "space-filling" Peano curve. This is a curve that guarantees that 2 contiguous elements in the enumeration remain as close as possible to each other in the 2D configuration. The picture has the striking particularity that it is ultimately uncomputable. Imagine you point a telescope and take a picture of an object in the computational universe for which some pixel values cannot be determined, not only in practice but in principle-- that is, no matter how good your camera, or how many terapixels some future version of it may have. This slide of the computational universe was only possible because it is a tiny region of short computer programs for which all pixels can be determined by zooming in deep enough. However, Gödel and Turing proved that if you zoomed out to a larger view of the computational universe, the picture would l begin to look completely blurry because pixel colors would not be determinable . In other words this picture is the inverse equivalent of Hubble's Deep Field space--the larger the space field the blurrier. While we can only have access to the visible universe determined by the speed of light, we can only see a small part of the computational universe due to unattainable limits. Most of the computational space will remain unknowable, not due to a limitation of resources but due to a fundamental limitation from the the digital world and possibly of our own reality. Only marginal improvements to this picture are possible. While the picture is ultimately uncomputable and unattainable, one can make an informed guess as to how it would look. The theory that would tell you the average color of the picture at a greater scale, even if uncomputable, is the theory of algorithmic probability also closely related to what is known as the Chaitin Omega number. It turns out that the picture will be mostly white, as in an ever expanding universe, finding computer programs that halt and produce something becomes increasingly harder. Indeed, most programs will never halt, and those that do will do so relatively quickly in proportion to their size, as Calude has theoretically found and I have numerically confirmed. Algorithmic probability also tells us that most programs will produce the same output, and only those rare ones producing different outputs will produce random-looking digital sequences. In other words, among the computer programs that do produce an output, most of them will be highly ordered, as if they were creating a universe of sparse but highly ordered patterns out of nothing (remember these programs run with no input). Some of these programs that produce the same output may do so faster than others, but precisely how much faster some program may be is another an open foundational question and one of the greatest challenges in mathematics and computer science. If it were possible to find a program considerably faster than any other, then everything could be computed faster and faster, regardless of the apparent difficulty of a program.
I hereby give permission to reproduce this figure as a pedagogical tool for explaining deep and fundamental aspects of our reality. Just mention the source and if possible drop me a line. You can create your own too, and improve on mine (I did calculate the one that cannot be further improved upon without including undetermined pixels). If you do so I would love to know about it. You may also need to ask permission of Springer Verlag, as this picture was published in my paper From Computer Runtimes to the Length of Proofs: With an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving. In M.J. Dinneen, B. Khousainov, and A. Nies (Eds.),Computation, Physics and Beyond, International Workshop on Theoretical Computer Science, WTCS 2012, LNCS 7160, pp.223-240, 2012.
Pictures and Videos
From left to right:
H. Zenil, Stephen Wolfram, Paul Davies, Ugo Pagallo, Greg Chaitin, Cris Calude,
Karl Svozil, Gordana Dodig-Crnkovic and John Casti. Invited Speakers, NKS Conference, University of Vermont,
USA. 2007. (Picture by Sally McCay)
With Per Martin-Löf (student of Komogorov) having
lunch at the Maison de la Recherche, Paris 2010, France
With Greg Chaitin at his
office in Yorktown, New York IBM Thomas J. Watson Research Center, 2006, USA
Moderating a roundtable featuring
(in order from left to right):
Greg Chaitin, Ed Fredkin, George Csicsery, Tony Leggett, Cris Calude,
Tom Toffoli and Stephen Wolfram on the subject: What is Computation? How does nature
compute? University of Indiana Bloomington, 2008, USA
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.
Control room of the Arecibo telescope in Puerto Rico and M. Nolan, director of the
observatory in a visit with friend L. Doyle from SETI. January 2014.
Wolfram Science School
trip to San Gimignano, Italy (Summer, 2009) From left to right school instructors: Hector
Zenil, Jamie Williams, Paul-Jean Letourneau,
Tommaso Bolognesi, Jean Baetens. Among the participants: Ray Aschheim.