Chrystopher Nehaniv

Research Professor

I received my B.Sc. with Honors in Mathematics (Univ. of Michigan, Ann Arbor, 1987) and a Ph.D. in Mathematics (Univ. of California, Berkeley, 1992) for work in the algebraic theory of semigroups, groups, and automata. After that, I stayed at Berkeley as a Lecturer and then Research Fellow. From 1993 to 1998, I served as Professor of the University of Aizu and Director of the Software Engineering Lab in the School of Computer Science & Engineering there. From its founding in 1997, I was also Professor in the Cybernetics & Software Systems Group at the University of Aizu in the scenic Aizu region of Fukushima Prefecture in northern Japan. I am a frequent Visiting Professor at Institute for Mathematics & Informatics at the University of Debrecen in Hungary and have taught at Ibaraki National University in Japan. In 1999 I became a Reader in Computer Science and since 2001 Research Professor of Mathematical and Evolutionary Computer Science, with the Interactive Systems Engineering Research Group, Adaptive Systems Research Group, and the Algorithms Research Group at the University of Hertfordshire (formerly Hatfield Polytechnic) just north of London in the United Kingdom. I am Director of the UK EPSRC Network on Evolvability in Biological and Software Systems, Associate Editor of the Elsevier journal BioSystems: Journal of Biological and Information Processing Sciences, Associate Editor of Interaction Studies: Social Behaviour and Communication in Biological and Artificial Systems and a member of the Santa Fe Institute Evolvability Working Group.

My address, phone, fax, e-mail, www, ...

Scientific Publication List

My current major research and publication areas include:

Interactive Systems Engineering: user-interfaces; design and interactivity; imitation and learning; emergence through interaction; social and behavioral coupling; system requirements, maintenance and evolution; first and second person computing; time & affect; and formal methods for post-reactive robotics and agents, historical grounding, generalized narrativity & story-telling.
Algebraic Engineering: Automatic Construction & Manipulation of Formal Models of Understanding; Algebraic Engineering of Computer Software; Hierarchical Decomposition, Synthesis, & Complexity of Computation; Automata; Applications to Cybernetics
Constructive Biology: Bioinformatics & Biologically-Inspired Systems; Evolution, Morphogenesis, Self-Re/producing, Evolvability, Self-Maintaining Systems, Symbiosis & Hierarchies; Understanding through Building, Adaptive Systems Research
Software Engineering: Specification & Requirements Capture, Software Evolution & Maintenance, Interactivity, Formal Methods, Algebraic Specification with OBJ, User-Interfaces and Algebraic Semiotics.
Cognitive Technology and Empowering Humans via Computers: Optimizing cognitive and physical fit in the human-tool relationship
Theoretical Computer Science: Semigroups, Languages, Machines;

Current seminars:

Hertfordshire Computer Science Research Colloquium
Taught courses:

Artificial Life (MSc.), Sem A. 2014 [update for Semester A2015 soon!]
Mathematical Structures for Computer Science (2nd yr. Computer Science, required for BSc. specialist award in Theoretical Computer Science) (local access via StudyNet only)
Formal Systems (1st yr. Computer Science) (local access via StudyNet only)

Selected Invited Lectures

"Exploiting Recurrent Transience: From Local Symmetris to Natural Subsystems to Global Structure of Biological and Computational Dynamics", Invited Plenary Talk at EU Commission FP7 Funded Unconventional Computing TRUCE workshop, 1 September 2015.
"Coproducts for Permutation Groups, Transformation Semigroups, Automata and Related Categories", Invited Plenary Talk at London Mathematical Society (LMS) and British Engineering & Physical Sciences Research Counicl (EPSRC) Research Symposium "Permutation Groups and Transformation Semigroups", Durham University, UK, 20-30 July 2015.
"Interaction and Experience in Enactive Intelligence and Humanoid Robotics", Invited Plenary Keynote at IEEE Symposium Series on Computational Intelligence (IEEE SSCI), Singapore 15-19 April, 2013
"Hierarchial Coordinate Systems on Symmetry Structures and Automata", Invited Talk at Guided Self-Organization 4, Hatfield, UK, September 8-10, 2011
"Global Hierarchical Coordinates on Groups", Invited Keynote at A^3 Abstract Algebra and Algorithms Conference, Eger, Hungary, August 14-17, 2011
"Evolvability, Fitness, and Artifacts", Opening Invited Keynote at 1st Workshop on Exploring Evolvability and Fitness in Personal Learning Environments (EFEPLE'11) -- STELLAR Alpine Rendez-Vous, French Alps, March 27-31, 2011.
EVOBODY2 Workshop: New Principles of Unbound Embodied Evolution, Mallorca, Spain, March 24-25, 2011. (Invited Participant).
"Steps in Algebraic Biology: Towards Understanding and Manipulating Cellular & Organismal Systems ia Hierarchical Coordinate Systems" (Plenary Lecture) at EIGHTH INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN CELLS AND TISSUES (IPCAT 2009) "From Small Scale Dynamics To Understanding Systems Behavior", 5-9th April 2009, Centro Stefano Franscini Ascona, Switzerland
"Coordinate Systems for Groups and Permutation Puzzles", International Conference on Automata, Languages and Related Topics (ALRT), in Honour of Professor Pál Dömösi's 65th Birthday, 21-24 October 2008, Hungarian Academy of Sciences, Debrecen.
"Algebra, Symmetries & Biological Applications", Natural Sciences Meeting (London School of Economics, - 12 June 2008).
"Cascade Synthesis of Arbitrary Groups", Groups Generated by Automata - organizers L. Bartholdi, R. Grigorchuk, V. Nekrashevych & S. Sidki (Monte Verita, Switzerland 10-15 February 2008).
"Sensorimotor Experience, Information and Development", 50th Anniversary Summit of Artificial Intelligence (Monte Verita, Switzerland 9-14 July 2006)
International Conference on Algebra in Honor of Adalbert Bovdi's 70th Birthday, 18-23 November 2005, University of Debrecen, Hungary: "Constructing Holonomy Groups for Krohn-Rhodes Theory" (with A. Egri-Nagy) and "Emulation of Synchronous Automata Networks with Dynamically Changing Topologies by Asynchronous Automata Networks"
Invited lecture "Self-Replication, Evolvability and Asynchronicity" at 3rd Symposium on Stochastic Algorithms, Foundations and Applications (Symposium Stochastische Algorithmen, Grundlagen und Anwendungen) - SAGA'05, Moscow State University, Russia, October 20-22, 2005.
Invited Talk at Santa Fe Institute Workshop "The Road to Software Evolvability" organized by David Ackley (UNM), Stephanie Forrest (SFI/UNM), and Jim Rutt (SFI). June 26 - 30, 2005, Santa Fe, New Mexico, USA.
"Evolutionary Information-Theoretic Foundations of Sensory Ecology: Channels of Organism-Specific Meaningful Information" at 10th Altenberg Workshop in Theoretical Biology: Modeling Biology: Structures, Behavior, Evolution, July 9-11, 2004, Konrad Lorenz Institute for Evolution and Cognition Research (KLI), Altenberg, Austria.
"Asynchronous Automata Networks Can Emulate Any Synchronous Automata Network: Theory and Applications", Institute of Mathematics & Informatics, University of Debrecen, Hungary, February 2004.
"Solving the Correspondence Problem in Robotic Imitation across Embodiments: Synchrony, Perception, and Culture in Artifacts", Keihann Human Info-Communication Research Center, Communications Research Lab, Japan, 22 July 2003.
"Social Learning and Imitation in Animals and Artifacts" at 15th Joint Australian Conference on Artificial Intelligence (AI'02), Canberra, Australia, 2-6 December 2002. (Plenary Keynote Lecture).
"Feedback is Easy for Pseudovarieties", at RhodesFest: International Conference on Semigroups and Groups in Honor of the 65th Birthday of John Rhodes, University of Porto, Portugal June 26-June 29, 2002 (Plenary Lecture).
"Open-Ended Evolution, Evolvability and Embodiment in Biology and Other Sciences of the Artificial", EuroGP2002: 5th European Conference on Genetic Programming, Kinsale, Ireland, 3-5 April 2002. (Opening Plenary Lecture).
"Finite Semigroups and the Letichevsky Criteria for Non-Empty Words in Finite Automata", the Workshop on Automata and Formal Languages, 23-24 July 2001, in honour of the 60th birthdays of Masami Ito and Magnus Steinby, Szeged, Hungary.
"Algebra, Complexity and Evolvability", Santa Fe Institute, Working Group on Evolvability, New Mexico, USA, 2000.
"Algebraic Automata Theory and the Evolution of Complexity of Biological Organisms", NASA Ames Research Laboratory, Mountain View, California, USA, 1999.
Algebraic Engineering in Artificial Intelligence and Constructive Biology: Lectures at the University of Lisbon, 1-5 February 1999.

Special Issues, Conferences and Workshops Organized:

13-15 April 2011, 2011 IEEE Symposium on Artificial Life (Paris, France - IEEE ALIFE 2011 at the IEEE Symposium Series on Computational Intelligence). Program Chair (together with Hiroki Sayama (USA) and Terry Bossomeier (Australia)).

30 March - 2 April 2009, Second IEEE Symposium on Artificial Life (Nashville, Tennesse, USA - IEEE ALIFE 2009). Program Chair.

5-9 April 2009, Information Processing in Cells & Tissues - "From Small Scale Dynamics to Understanding Systems Behaviour" (Ascona, Switzerland - IPCAT 2009), Program Co-Chair.

18-21 May 2009, IEEE Congress on Evolutionary Computation (Trondheim, Norway - IEEE CEC 2009). Technical Chair.

1 October 2007, Third International IEEE Workshop on Software Evolvability 2007 at the IEEE International Conference on Software Maintenance (ICSM)", Paris, France (Conference General Chair)

24 September 2006, Second International IEEE Workshop on Software Evolvability 2006 at the IEEE International Conference on Software Maintenance (ICSM), Philadelphia, Pennsylvania, USA (with R. Laddaga and P. Wernick)

IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN) "Getting to Know Socially Intelligent Robots", 6-8 September 2006, University of Hertfordshire, Hatfield, United Kingdom. Program Co-Chair (with K. Dautenhahn)

Third International Symposium on the Emergence and Evolution of Linguistic Communication (EELC '06) at the SAB'06 Conference, 25 Sep. - 1 Oct. 2006, Roma Italy (with P. Vogt, Y. Sugita, E. Tuci)

26 September 2005: Software Evolvability Workshop at IEEE International Conference on Software Maintenance (ICSM) Budapast, Hungary.

2-5 September 2005: IEEE CEC 2005 Special Sessions on Artificial Life and Complex Adaptive Systems at the 2005 IEEE Congress on Evolutionary Computation Edinburgh, Scotland

IEEE RO-MAN 2005: 14th IEEE International Workshop on Robot and Human Interactive Communication , special session on "Robot Companions" (with K. Dautenhahn), August 13-15, 2005 Nashville, Tennessee, USA

27-30 June 2005, special sessions at IEEE CIRA in Espoo, Finland:
Ontogenetic Robotics (organized by Giorgio Metta (Univ. Genoa, Italy) & C. L. Nehaniv (Univ. Hertfordshire, UK)), and on
Human-Robot Interaction (organized by K. Dautenhahn (Univ. Hertfordshire, UK) and C. L. Nehaniv (Univ. Hertfordshire, UK))

14-15 April 2005 AISB 2005 Convention: SOCIAL INTELLIGENCE AND INTERACTION IN ANIMALS, ROBOTS AND AGENTS, Hatfield, Hertfordshire, UK. Convention Vice Chair.

Second International Symposium on the Emergence and Evolution of Linguistic Communication (Programme Chairs: A. Cangelosi and C. L. Nehaniv) at AISB 2005

Third International Symposium on Imitation in Animals and Artifacts, 12-14 April 2005, Hatfield UK (Symposium Chair: Yiannis Demiris (Imperial) Programme co-chairs: Kerstin Dautenhahn (Hertfordshire) and Chrystopher Nehaniv (Hertfordshire)).

IEEE RO-MAN 2004: 13th IEEE International Workshop on Robot and Human Interactive Communication September 20-22, 2004 Kurashiki, Okayama Japan, Special Session on "Creating Relationships with Social Robots" (co-organized with K. Dautenhahn), also co-chairing session on "Cognitive Psychology".

8-10 October 2003 "Evolvability and Interaction: Evolutionary Substrates of Communication, Signaling, and Perception in the Dynamics of Social Complexity", London, England, U.K.

26-28 August 2003 "Evolvability, Genetics and Development in Natural and Constructed Systems" at Tewin Bury Farm Hotel near Welwyn, Hertfordshire, England

24-25 April 2003, Evolvability and Sensor Evolution Symposium, University of Birmingham, U.K.

7-11 April 2003, Imitation in Animals and Artifacts II: Second International Symposium, at AISB'03, University of Wales, Aberystwyth, United Kingdom.

18-20 September 2002 "Evolvability and Individuality", St. Albans, Hertfordshire, U.K.

Software Evolution and Evolutionary Computation, University of Hertfordshire, 7-8 February 2002: An EPSRC Network on Evolvability in Biological and Software Systems Symposium.
(Submissions: Send a 500 word maximum, plain text abstract by 31 December 2001 to C.L.Nehaniv@herts.ac.uk)

Special EVOLVABILITY Issue of BIOSYSTEMS, Journal of Biological and Information Processing Sciences, published by Elsevier Science, guest edited by Chrystopher L. Nehaniv, (in press).

CT'01: Proceedings of the Fourth International Conference on Cognitive Technology: Instruments of Mind
(6-9 August 2001), University of Warwick, U.K., Springer in Lecture Notes in Computer Science/Artificial Intelligence (LNCS/LNAI), Vol 2117.

Symposium on the Evolvability and Future of Theoretical Computer Science, 20 June 2001, University of Hertfordshire.

Cybernetics and Systems: An International Journal (Taylor and Francis), Special Issue on Imitation in Natural & Artificial Systems, Guest editors: Chrystopher L. Nehaniv & Kerstin Dautenhahn, 32(1-2), 2001.

EVOLVABILITY WORKSHOP at ALIFE VII at Artificial Life VII: The Seventh International Conference on the Simulation and Synthesis of Living Systems, Reed College, Portland, Oregon, USA, 1-6 August 2000

AISB'99 Symposium: Imitation in Animals & Artifacts, Edinburgh, Scotland, 7-9 April 1999
[Proceedings of the AISB'99 Symposium on Imitation in Animals and Artifacts (7-9 April 1999, Edinburgh, Scotland), K. Dautenhahn and C. L. Nehaniv, editors, The Society for the Study of Artificial Intelligence and Simulation of Behaviour, 1999. ISBN: 1-902956-05-2 ]

Computation for Metaphors, Analogy, and Agents:
An International Workshop
Aizu, Japan -- April 6-10, 1998
(Computation for Metaphors, Analogy and Agents, C. L. Nehaniv, ed.,
Springer Lecture Notes in Artificial Intelligence, Vol. 1562
ISBN: 3-540-65959-5 )

First International Conference on Semigroups & Algebraic Engineering,
Aizu, Japan -- March 24-28, 1997.
(Algebraic Engineering, C. Nehaniv & M. Ito, eds., World Scientific Press, [ISBN: 981-02-3667-0],
and Special Issue of Theoretical Computer Science), vol. 245, number 1

Second International Conference on Cognitive Technology: Humanizing the Information Age
Aizu, Japan -- August 25-28, 1997
(J.P. Marsh, C.L Nehaniv & B. Gorayska, eds., IEEE Computer Society Press)

MATHEMATICAL & COMPUTATIONAL BIOLOGY: COMPUTATIONAL MORPHOGENESIS, HIERARCHICAL COMPLEXITY & DIGITAL EVOLUTION
Aizu, Japan -- October 21-25, 1997
Mathematical & Computational Biology, C.L. Nehaniv, ed., American Mathematical Society

First Symposium on Algebra, Languages and Computation
University of Aizu, Japan -- October 30-November 1, 1997
T. Imaoka & C. L. Nehaniv, eds., book published 1998.
[Contents][ALC Symposium Series Webpages at Shimane University, Japan]

Workshop at
ALIFE VI: Sixth International Conference on Artificial Life
(26-29 June 1998), University of California, Los Angeles, California, U.S.A.
THE RIGHT STUFF
Appropriate Mathematics for Developmental and
Evolutionary Biology
26 June 1998, UCLA
(co-organized with Günter P. Wagner, Yale University)
& Special Issue of MIT Press Journal Artificial Life, Volume 6, Number 1 )

Conference and Workshop Program Committees

SAB 2008, Artificial Life 2008, Epigenetic Robotics 2008, ICDL 2008, GWAL 2008, IEEE ROMAN 2007, 2008, ACAL, ...
The First IEEE Conference on Artificial Life, IEEE-ALife'07 April 1-5, 2007, Hilton Hawaiian Village Resort, Honolulu, HI, USA (Publicity Chair & PC member)
GWAL-7 7th German Workshop on Artificial Life, Jena, 26. -28. July 2006
ALIFE X: Tenth International Conference on the Simulation and Synthesis of Living Systems, 3-7 June 2006, Bloomington, Indiana, USA. Deadline 11 November 2005.
The Second International Workshop on Biologically Inspired Approaches to Advanced Information Technology (January 26 - 27, 2006 Senri Life Science Center, Osaka, Japan)
GECCO 2005 - Genetic and Evolutionary Computation Conference25-29 June 2005, Washington DC, USA.
Invited Session on Evolutionary and Self-Organizing Sensors, Actuators and Processing Hardware at KES 2005 - Ninth International Conference on Knowledge-Based Intelligent Information & Engineering Systems, Melbourne, Australia, 14-16 September 2005. (D. Polani - University of Hertfordshire, UK & M. Prokopenko - CSIRO, Australia)
ECAL 2005: 8th European Conference on Artificial Life, 5-9 September 2005, University of Kent, Canterbury, Kent, UK.
IEEE CEC 2005: IEEE Congress on Evolutionary Computation - Special Sessions on "Artificial Life" and on "Complex Adaptive Systems" (proposed), 2-5 September 2005, Edinburgh, Scotland, UK.
IEEE CIRA 2005 : 6th IEEE International Symposium on Computational Intelligence in Robotics and Automation - Helsinki University of Technology, Espoo, Finland - June 27-30, 2005
Artificial Life IX: Ninth International Conference on the Simulation and Synthesis of Living Systems (ALIFE9), Boston, Massachusetts, USA, 12-15 September 2004.
Fourth International Workshop on Epigenetic Robotics, Genoa Italy, USA, 25-27 August 2004.
FROM ANIMALS TO ANIMATS 8 - The Eighth International Conference on the SIMULATION OF ADAPTIVE BEHAVIOR (SAB'04) 13 - 17 July 2004, Los Angeles, CA, USA.
GECCO 2004 - Genetic and Evolutionary Computation Conference - 26-30 June 2004 - Seattle Washington.
Bio-ADIT 2004 - The First International Workshop on Biologically Inspired Approaches to Advanced Information Technology Laussane, Switerland, 29-30 January 2004.
ACAL2003: The First Australian Conference on Artificial Life, Canberra, Australia, 6-7 December 2003.
Third International Workshop on Epigenetic Robotics, Boston University, USA, 4-5 August 2003.
Genetic and Evolutionary Computational Conference GECCO - 2003, Program Track on "Artificial Life, Adaptive Behavior, Agents, and Ant Colonies", July 12-16, 2003. Chicago, Illinois, USA
European Conference on Artificial Life (ECAL'03), September 14-17, 2003 Dortmund, Germany
FLAIRS'2003 - 16th International FLAIRS Conference: Special Track "Integrating Emotion and Cognition in Formal Models", Casa Monica Hotel, St. Augustine, Florida May 12-14, 2003
Artificial Life VIII: The 8th International Conference on the Simulation and Synthesis of Living Systems, University of New South Wales, Sydney, NSW, Australia, 9th-13th December, 2002.
GWAL V: 5th German Workshop on Artificial Life, 18-20 March 2002, Lübeck, Germany
(Submission Deadline: 18 January 2002)
ECAL 2001: 6th European Conference on ARTIFICIAL LIFE 2001, September 10-14, 2001 University of Economics, Prague, Czech Republic
First International Workshop on Epigenetic Robotics: Modeling Cognitive Development in Robotic Systems, 17-18 September 2001, Lund, Sweden
CT'2001: Fourth International Cognitive Technology Conference (6-9 August 2001 - Univ. Warwick, U.K.)
Artificial Life VII: The Seventh International Conference on the Simulation and Synthesis of Living Systems, Reed College, Portland, Oregon, USA, 1-6 August 2000
UkrPROG'2000: The 2nd International Scientific and Practical Conference on Programming, Ukraine, Kiev, May 23-26, 2000.
Computation in Cells: An EPSRC Emergent Computing Workshop (17-18 April 2000) University of Hertfordshire, UK
WIRE-2K : 2000 Workshop on Interactive Robotics and Entertainment (WIRE-2000)
30 April - 1 May 2000 at The Robotics Institute, Carnegie Mellon University, USA
CIRA'99: 1999 IEEE International Symposium on Computational Intelligence in Robotics and Automation, Monterey, California, November 8-9, 1999
AAAI 1999 Fall Symposium on Narrative Intelligence 5-7 November 1999, Cape Codd, Massachusetts, U.S.A.
(click here: for all AAAI Fall Symposia for 1999)
Click here for symposium schedule and papers.
CT99: Third International Conference on Cognitive Technology -- Networked Minds (11-14 August 1999), San Francisco, California, U.S.A.
(Click here for CFP)
GECCO-99
1999 Genetic and Evolutionary Computation Conference (14-17 July 1999), Orlando Florida USA. GECCO Program Committee.
Special Session on ``Constructive Biology and Robotics'' at SPIE Sensor Fusion and Decentralized Control in Robotics Systems (SFDCRS II) Conference, Boston, September 17-22, 1999; co-organized with Gerard McKee.
Special Session ``The Constructive Viewpoint in Biology and Robotics'' at 14th IEEE International Symposium on Intelligent Control /Intelligent Systems and Semiotics, ISIC/ISAS'99 - September 15-17, 1999 Cambridge, Massachusetts, USA Sponsored by the IEEE Control Systems Society
Third International Colloquium on Words, Languages and Combinatorics, Kyoto, Japan, 14-18 March 2000.
Biologically-Inspired Machine Learning Workshop at ACAI 99, 5-16 July 1999, Chania, Greece
Self-Replication & Reproduction Workgroup
at GWAL-98: the Third German Workshop on Artificial Life (17-18 September 1998), Bochum, Germany.
Organizers: Chrystopher Nehaniv (University of Hertfordshire) and Kerstin Dautenhahn (University of Reading).
IS98
A Joint Conference on Intelligent Systems: IEEE International Symposium on Intelligent Control (ISIC98)
International Symposium on Computational Intelligence in Robotics and Automation (CIRA 98)
Intelligent Systems and Semiotics (ISAS 98)

September 14-17, 1998
National Institute of Standards and Technology
Gaithersburg, Maryland U.S.A.
Aizu International Student Forum-Contest on Multimedia
University of Aizu, Japan, July 20-24, 1998
UKRASOFT

University of Hertfordshire Courses

Artificial Life: Biology and Computation (MSc)
Requirements Engineering: Research and Practice (Final Year BSc)
Section on Algebraic Specification
Formal Languages and Deduction (First Year, BSc) [internal access only via StudyNet]
MSc Thesis and BSc Final Year Project Supervision

Scientific & Professional Societies
American Mathematical Society Association for Computing Machinery (ACM) Society for Mathematical Biology Society for Developmental Biology

American Association for the Advancement of Science New York Academy of Sciences Cognitive Technology Society

Institute of Electrical & Electronics Engineers

IEEE Computer Society IEEE Systems, Man & Cybernetics IEEE Robotics & Automation IEEE Engineering in Medicine & Biology

Scientific & Professional Societies
American Mathematical Society	Association for Computing Machinery (ACM)	Society for Mathematical Biology	Society for Developmental Biology
American Association for the Advancement of Science	New York Academy of Sciences	Cognitive Technology Society
Institute of Electrical & Electronics Engineers
IEEE Computer Society	IEEE Systems, Man & Cybernetics	IEEE Robotics & Automation	IEEE Engineering in Medicine & Biology

Web Journals, Searches and Calls for Papers/Conferences

Computing Journals (University of Hertfordshire access)
- Artificial Life
- Theoretical Computer Science
Conference Announcements - Computer Science (Fraunhofer Institute for Industrial Engineering (IAO), Stuttgart)
EATCS Conference Announcement Links
Sony Call-For-Papers Server
Lycos - The Catalog of the Internet
Webcrawler Search
InfoSeek
Internet Rescource Discover Tool
Yahoo
Google Web Search:

Computer Languages
CMU Language Research Hyperlinked Language Overviews Steele's Book on Common Lisp (1000 page dvi file, ~3.4 MB)
WWW Virtual Library: Computing, Programming Languages SNOBOL & Relatives The Icon Programming Language

PERL -- Practical Extraction and Report Language

Computer Languages
CMU Language Research	Hyperlinked Language Overviews	Steele's Book on Common Lisp (1000 page dvi file, ~3.4 MB)
WWW Virtual Library: Computing, Programming Languages	SNOBOL & Relatives	The Icon Programming Language
PERL -- Practical Extraction and Report Language

Biology & Generalizations
Artificial Life Group in Aizu (ALGA) Zooland: Sante Fe Institute Primer on Molecular Genetics (U.S. Dept. of Energy) Outbreak: the Emerging Disease Web Site

Center for Computational Ecology at Yale Cellular Slime Mold WWW Server The Squidpage (Cephalopods) Marine Phylum Index
Marine Biological Laboratory, Woods Hole, MA

Karl Sims's Work Genetic Programming Introduction to Phylogeny Excellent Links to Morphogenesis Pages (by A.V. Spirov)

Boids, Etc. Poly-PEDAL Laboratory, UC Berkeley The Tree of Life Danny Yee's Book Reviews

School of Biological Sciences, University of Sussex Observer's Web (Autopoiesis & Enaction) History of Life Centre for the Study of Evolution

Population Ecology National Center for Biotechnology Information Software for Field Biologists Java-Based Molecular Biology Workbench

Some Cool Biologists
Lynn Margulis Leo W. Buss (& ALChemy) Thomas S. Ray (& Tierra) Richard E. Michod (University of Arizona EEB)

Michael W. Nachman Günter Wagner John Maynard Smith Joel R. Peck

Eors Szathmary Richard Dawkins (Unofficial Page) Lee Altenberg Theoretical Biology/Bioinformatics Group (Universiteit Utrecht)
Paulien Hogeweg (Director)

Biology & Generalizations
Artificial Life Group in Aizu (ALGA)	Zooland: Sante Fe Institute	Primer on Molecular Genetics (U.S. Dept. of Energy)	Outbreak: the Emerging Disease Web Site
Center for Computational Ecology at Yale	Cellular Slime Mold WWW Server	The Squidpage (Cephalopods)	Marine Phylum Index Marine Biological Laboratory, Woods Hole, MA
Karl Sims's Work	Genetic Programming	Introduction to Phylogeny	Excellent Links to Morphogenesis Pages (by A.V. Spirov)
Boids, Etc.	Poly-PEDAL Laboratory, UC Berkeley	The Tree of Life	Danny Yee's Book Reviews
School of Biological Sciences, University of Sussex	Observer's Web (Autopoiesis & Enaction)	History of Life	Centre for the Study of Evolution
Population Ecology	National Center for Biotechnology Information	Software for Field Biologists	Java-Based Molecular Biology Workbench

Some Cool Biologists
Lynn Margulis	Leo W. Buss (& ALChemy)	Thomas S. Ray (& Tierra)	Richard E. Michod (University of Arizona EEB)
Michael W. Nachman	Günter Wagner	John Maynard Smith	Joel R. Peck
Eors Szathmary	Richard Dawkins (Unofficial Page)	Lee Altenberg	Theoretical Biology/Bioinformatics Group (Universiteit Utrecht) Paulien Hogeweg (Director)

Math Sites

University of California, Berkeley, Mathematics Department (my alma mater) American Mathematical Society University of Aizu Mathematical Sciences Seminar AMS MathSciNet Demo - MATH REVIEWS
Semigroups On-line by J.H. Renshaw Ben Steinberg Pál Dömösi Combinatorics on Words (M. Lothaire) The Geometry Center

Jorge-Nuno Silva Steven Benzel John R. Stallings George M. Bergman Fred Richman

Groupoid Home Page Mathematical Sciences Research Institute (Berkeley) Symbolic Sculpture & Mathematics AMS Mathematics Calendar Gillian Z. Elston

Math Sites
University of California, Berkeley, Mathematics Department (my alma mater)	American Mathematical Society	University of Aizu Mathematical Sciences Seminar	AMS MathSciNet Demo - MATH REVIEWS
Semigroups On-line by J.H. Renshaw	Ben Steinberg	Pál Dömösi	Combinatorics on Words (M. Lothaire)	The Geometry Center
Jorge-Nuno Silva	Steven Benzel	John R. Stallings	George M. Bergman	Fred Richman
Groupoid Home Page	Mathematical Sciences Research Institute (Berkeley)	Symbolic Sculpture & Mathematics	AMS Mathematics Calendar	Gillian Z. Elston

(Some of) My Favorite Mathematicians

Eudoxus
Archimedes, (see also Archimedean solids)
Emmy Noether
Kurt Gödel
Alan Turing, by Andrew Hodges, (Turing related pages: Morphogenesis, Another Biography)
John von Neumann
Alexandre Grothendieck

PhD Supervision

K. Mary Buchanan
Thesis: Behaviour Constraints, Patterns and Conformance: Reconciling Object-Oriented Inheritance with Temporal Restrictions on the Ordering of Methods
[PhD awarded; Thesis nominated for a Distinguished Dissertions Award]
Maria S. Kutar
Thesis: Specification of Temporal Properites of Interactive Systems
[PhD May 2001]. Now at University of Salford.
Aris Alissandrakis (Imitation in Adaptive Systems)
Thesis: Imitation and Solving the Correspondence Problem for Dissimilar Embodiments - A Generic Framework
[PhD award: December 2003], then a post-doc here in the EU-funded COGNIRON project, a Japan Society for the Promotion of Science (JSPS) Fellow at Tokyo Institute of Technology, and most recently a researcher at Advanced Telecommunications Research Institute International (ATR), Intelligent Robotics and Communication Laboratories (IRC), working on Social Human-Robot Interaction based on UNR (ubiquitous network robot technology).
Attila Egri-Nagy (Algebraic Engineering)
Thesis: Algebraic Hierarchical Decomposition of Finite State Automata - A Computational Approach
[PhD defense passed: 3 November 2005] Then post-doc here in the Royal Society Wolfson BioComputation Lab, in 2009-2010 working in the OPAALS European project. Now an Assistant Professor in Eger, Hungary.
Wan Ching Ho (Autobiographic Agents in Virtual Environments)
Thesis: Computational Memory Architectures for Autobiographic and Narrative Virtual Agents
[PhD thesis submitted October 2005, viva passed] Now a post-doc here with the EU eCircus project, to join EU FP7 project LIREC.
David Jacob (Fast Learning, Factorization of Learning via Embodiment)
[PhD thesis submitted July 2005, passed defense with minor corrections September 2005]
Lars A. Olsson (Sensor Evolution in Robots)
Thesis: Information Self-Structuring for Developmental Robotics: Organization, Adaptation, and Integration
Employed by Netemic in London.
[PhD viva passed with minor corrections: 16 May 2006]
Alexander Klyubin (Sensor Evolution and Relevant Information)
Thesis: Organization of Information Flow through the Perception-Action Loop
[PhD thesis submitted December 2006, defense passed with minor corrections 27 March 2007]
Known whereabouts: Bloomberg, London. Now at Google.
Robert J. Lowe (Affective Expression and Signalling)
Thesis: The Evolution of Affective Displays and Related Strategies
[PhD defense passed 2006]
Now a post-doc at University of Skövde, Sweden.
Tom Quick at UCL (Structural Coupling, Embodiment, Genetic Regulatory Network Evolution)
Now Founder and Chief Technical Officer at Netemic
Megan Davis (Narrative, Interfaces, and Autism)
Thesis: TouchStory: Interactive Software Designed to Assist Children with Autism to Understand Narrative
[PhD defense passed January 2009]
Joe Saunders (Imitation in Robotics)
Thesis: Observational Imitation, Self-Imitation and Environmental Scaffolding in Robotic Systems
[PhD thesis submitted December 2006, PhD exam 29 January 2007 passed with minor amendments, accepted 22 February 2007]
Now a post-doc here in the Adaptive Systems Research Group and co-investigator for the EU FP7 ITALK project on Emergence of Language and Communication in Robots.
Naeem Assif Mirza (Ontogenetic Robotics)
Thesis: Grounded Sensorimotor Interaction Histories for Ontogenetic Development in Robots
[PhD defense passed 16 June 2008]
First job after PhD: post-doc at the Italian Institute of Technology in Genoa.
Johannes F. Knabe (Evolvability of Developmental Genetic Regulatory Networks - DGRNs)
Thesis: Evolvability of Computational Genetic Regulatory Networks
[PhD defense passed 4 June 2009], Now a post-doc at Vrije Universiteit van Amsterdam.
Moritz Buck (Transitions in Individuality for Developmental Genetic Regulatory Networks - DGRNs)
Thesis: Evolution of Multicellularity: A Computational Artificial Life Approach
[submitted March 2010, PhD defense passed 21 April 2010, Award January 2011]
Gábor Horváth (Algebra, SNAG (finite Simple Non-Abelian Group) computers, and Computational Complexity)
Thesis: Functions and Polynomials over Finite Groups from the Computational Perspective
[PhD defense passed on 9 April 2008 (without corrections)]
First a Visiting Research Fellow here and then a post-doctoral Research Fellow at the London School of Economics with the BIONETS European FET project til end of February 2010.
Now, since 1 March 2010, an Assistant Professor at the University of Debrecen, Hungary (Mathematics & Informatics Institute, Department of Algebra).
Philippe Capdepuy (Internal Organization and Information Flow in the Perception Action Loop)
Thesis: Information Principles of Perception Action Loops and Collective Behaviours
[Submitted March 2010, PhD defense passed 14 July 2010]
Tom Anthony (Empowerment, Information Theory, Perception Action Loop)
[first and second year progression exams passed]
Frank Förster (Emergence of Language and Negation in Robots)
Thesis: Robots that Say 'No': Acquisition of Linguistic Behaviour in Interaction Games with Humans
[PhD defense passed 17th December 2013, without amendments]
Sander G. van Dijk (Empowerment & Hierarchical Perception-Action)
Information Driven Acquisition and Adaptation of Behaviour Structure
Thesis : Informational Constraints and Organization of Behaviour
[first progression viva passed, March 2010; 2nd passed, January 2011, PhD defense passed with minor corrections 11 October 2013]
Malte Harder (Information and Self-Organization)
Thesis: Information-Driven Self-Organization of Agents and Agent Collectives
[PhD defense passed with minor corrections 18 October 2013]
Esther-Anna Loeliger (Information Visualization)
[first and second year progression exams passed]
Konstantinos Theofilis (Development, Commnunications and Imitation in Humanoids)
[first and second year progression exams passed]
Andrés Burgos (Information and Emergence of Common Codes)
[First progression exam passed]
Martin Biehl (Agents in Artificial Universes)
[first and second year progression exams passed]
Nathan Burke (Interaction Histories in AI Robotics)
[First progression exam passed]
Peter Shannon (Evolvability of Behaviioural Modularity)
[First progression exam passed]
Ágnes Bonivárt (Biological and Mathematical Basis of Interaction Computing)