The Human Face of Computing

The following sections are included:

• Contents
• Anil Nerode: Foreword
• Acronyms

Professor Dines Bjørner, http://www2.imm.dtu.dk/, is a well-known computing scientist working on formal methods for the specification, development and verification of software and hardware systems. Professor Bjørner worked on VDM: the Vienna Development Method at IBM and was involved in producing RAISE: the Rigorous Approach to Industrial Software Engineering formal method and tools support…

Erol Gelenbe, Professor in the Dennis Gabor Chair of the Electrical at Imperial College London http://www.ee.ic.ac.uk/gelenbe, is an alumnus of the Middle East Technical University in Ankara, Turkey. He received a PhD from the Polytechnic Institute of New York University (Brooklyn Poly) and the Docteurés Sciences degree from the University of Pierre et Marie Curie (Paris VI). Professor Gelenbe, one of the founders of the field of computer system and network performance analysis, is well known for his work on Random Neural Networks (RNNs) and G-networks. He created the team that built the Queuing Network Analysis Package (QNAP) and pioneered an object oriented flexible manufacturing simulation system known as Flexible Manufacturing System Simulator (FLXESIM ), and both became successful commercial products. Two of his four books were published in English, French, Korean and Japanese. Elected to the Hungarian, Polish and Turkish Academies of Science, the French National Academy of Engineering (Académie des Technologies) and the Academia Europaea, he is a Fellow of IEEE (1986), Fellow ACM (2001), and has received “honoris causa” doctorates from the Universities of Liége, Boǵaziçi (Istanbul) and Rome II. He has graduated more than 65 PhDs including many women computer scientists and engineers, and was awarded the Parlar Foundation Science Award (1994), the Grand-Prix France Telecom (1996) of the French Science Academy, the ACM SIGMETRICS Life-Time Achievement Award (2008), the UK IET Oliver Lodge Medal (2010) and the “In Memoriam Dennis Gabor Award” of the Hungarian Academy of Sciences (2013). He has been decorated with the honours of Grande Ufficiale in the Order of the Start of Italy, of Commander (Commedatore) in the Order of Merit of Italy, of Officer in the Order of Merit of France, and of Chevalier des Palmes Académiques by France…

Professor David Harel, http://www.wisdom.weizmann.ac.il/~harel, is incumbent of the William Sussman Professorial Chair at the Weizmann Institute of Science and until recently was the head of the John von Neumann Minerva Center for the Development of Reactive Systems…

Professor Juris Hartmanis, a Turing Award Winner, is the Walter R. Read Professor of Computer Science and Engineering, Emeritus, Department of Computer Science, Cornell University, Ithaca, USA. He is a pioneer, founder and a major contributor to the area of computational complexity…

Kurt Mehlhorn http://www.mpi-inf.mpg.de/~mehlhorn is the Head the Algorithms and Complexity department of the Max-Planck-Institut für Informatik, Saarbrücken, a Professor at the Universität des Saarlandes, a co-director of the Indo Max Planck Center for Computer Science, the chairman of the Scientific Board, IST Austria and a member of the Joint Advisory Board, Carnegie Mellon, Qatar…

Professor Arto Salomaa is one of the most important theoretical computer scientists. His many articles and books not only influenced, but also shaped, areas of theoretical computer science. Professor Salomaa has been awarded many prizes, awards and distinctions, clearly more than one can enumerate in this short introduction: among them, nine honorary doctorates, membership in various learned academies, Professor of the Year in Finland in 1994 and winner of the yearly prize of the Nokia Foundation in 1998 and of the 2004 EATCS Award. He is one of the 12 Academicians of the Academy of Finland, Festival Colloquia and 10 books have been dedicated to him…

Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis and http://people.epfl.ch/joseph.sifakis is a leading researcher well known for his pioneering work in theoretical and practical aspects of concurrent systems specification and verification, notably the area of model-checking. His current research activities include component-based design, modelling and analysis of real-time systems with focus on correct-by-construction techniques…

Joseph F. Traub is the Edwin Howard Armstrong Professor of Computer Science at Columbia University and External Professor, Santa Fe Institute http://www.cs.columbia.edu/~traub. He is the author or editor of 10 monographs and some 140 papers on computer science, mathematics, physics, finance and economics. In 1959 he began his work on the optimal iteration theory culminating in the 1964 monograph which is still in print. Subsequently he pioneered work with Henryk Wozniakowski on optimal algorithms and computational complexity applied to continuous scientific problems (IBC ). He collaborated in creating significant new algorithms including the Jenkins–Traub algorithm for polynomial zeros, as well as the Kung–Traub, Shaw–Traub, and Brent–Traub algorithms. One of his current research areas is quantum computing. From 1971 to 1979 he headed the Computer Science department at Carnegie Mellon University (CMU) and led it from a critical period to eminence (see the Joseph Traub digital archive at CMU at http://diva.library.cmu.edu/traub). From 1979 to 1989, he was the founding chair of the Computer Science department at Columbia University. From 1986 to 1992 he served as founding chair of the Computer Science and Telecommunications Board (CSTB), National Academies and served as chair again 2005–2009. Traub is the founding editor-in-chief of the Journal of Complexity (since 1985)…

Ian Witten, http://www.cs.waikato.ac.nz/~ihw/, is a Professor in the Department of Computer Science at the University of Waikato in New Zealand. His many research interests include information retrieval, machine learning, text compression and programming by demonstration. As head of the New Zealand Digital Library Research Group http://www.nzdl.org/cgi-bin/library.cgi, Professor Witten oversaw the development of Greenstone Digital Library software, used by the BBC, New York Botanical Gardens and UNESCO. He has written several books, the latest being Data Mining (2000), How to Build a Digital Library (2002) and Web Dragons: Inside the Myths of Search Engine Technology (2007). His Birthday Book, 2007 (http://www.nzdl.org/Books/Birthday/index.html) includes contributions from collaborators, friends and students, from all around the world. Professor Witten is a Fellow of the ACM and the Royal Society of New Zealand. He was awarded the IFIP Namur Prize (2004) for “contributions to the awareness of social implications of information technology… and the need for a holistic approach in the use of information technology that takes account of social implications”, and won the 2010 World Class New Zealand Award. In 2012 he was appointed Chief Scientific Advisor at Pingar http://www.pingar.com to provide advice on developing technologies and solutions to augment enterprise ability to manage unstructured data…

Professor Jon Borwein, http://www.carma.newcastle.edu.au/jon, is Laureate Professor of Mathematics at the University of Newcastle, Australia…

Professor Douglas Bridges has authored more than 190 research papers, and 8 books, on constructive mathematics and mathematical economics. The books include ‘Constructive Analysis’ (with Errett Bishop) and ‘Varieties of Constructive Mathematics’ (with Fred Richman), which together were the definitive reference works on (Bishop-style) constructive mathematics for over 20 years. In 2006, he and Luminiţă Vîtă published ‘Techniques of Constructive Analysis’, the only exposition of the major developments in constructive analysis in the preceding 25 years. In 2011, he and Vîtă published ‘Apartness and Topology: A Constructive Development’, which is a full exposition of their constructive approach to general topology…

Professor Gregory Chaitin, https://ufrj.academia.edu/GregoryChaitin, is at the Federal University of Rio de Janeiro in Brazil, where he is working on a mathematical theory of biological creativity. He is also a co-founder of the algorithmic information theory to which he made seminal contributions, including the Omega number. Chaitin's latest book, Proving Darwin: Making Biology Mathematical, has also been published in Spanish, Italian and Japanese…

Françoise Chatelin http://www.cerfacs.fr/~chatelin is the Emeritus Professor of Applied Mathematics at the University Toulouse 1 — Capitole and Head of the Qualitative Computing group at the Centre Européen de Recherche et de Formation Avancée en Calcul Scientifique (Cerfacs) in Toulouse, France. Her expertise includes many areas, from spectral theory for linear operators in Banach spaces to finite precision computation of very large matrix eigenproblems. Professor Chatelin has supervised 31 PhD theses and has authored five books; the first four are now classic references. A graduate from L'École Normale Supérieure Normale (Paris), Professor Chatelin taught at the Universities Grenoble 2 — Pierre Mendes-France and Paris 9 — Dauphine before moving to Toulouse. She was a visiting researcher at Berkeley and Stanford Universities, IBM San Jose (Ca) and Yorktown Heights (NY). For almost a decade (from 1984 to 1993) she was a scientific manager (in charge of intensive computing) at the Centre Scientifique IBM — France in Paris and the Laboratoire Central de Recherches Thales near Paris. Her book Valeurs Propres de Matrices (Masson, Paris, 1988) has received the IBM — France prize for “Meilleure publication scientifique et technique 1988”…

Professor Rod Downey, http://www.mcs.vuw.ac.nz/~downey/, is a very well-known mathematician and theoretical computer scientist. He works in classical and applied computability theory and in complexity theory (mainly parameterised complexity), reverse mathematics and algorithmic information theory. Professor Downey is not only “world famous in New Zealand” (as a local saying goes in this country), but one of New Zealand's (NZs) best-known mathematicians. He has won numerous awards for his work on logic and his work on theoretical computer science. These include the inaugural MacLaurin Fellowship, a James Cook Fellowship, an Isaac Newton Fellowship, the Hamilton Prize of the RSNZ, New Zealand (NZ) Association of Scientists Research Medal, the Hector Medal, ASL Schoenfield Prize, EATCS Nerode prize, the NZMS Research Award and the Vice Chancellor's Award for Research. He was elected a Fellow of the ACM, AMS, Aust MS, RSNZ and the NZMS. He is an editor of numerous journals and chaired the prizes committee of the Association for Symbolic Logic. He gave an invited lecture at the International Congress of Mathematicians (2006), and has given invited addresses at numerous conferences including the International Congress of Logic Methodology and Philosophy of Science, and the IEEE Conference on Computational Complexity. He is also an accomplished surfer and Scottish country dancer…

Professor Gruska, http://www.fi.muni.cz/usr/gruska, is well known not only for his results but also because he has been “everywhere” — he's had 33 long-term visiting positions in Europe, North America, Asia and Africa. He introduced the descriptional complexity (of grammar, automata and languages) and is one of the pioneers of parallel (systolic) automata. Professor Gruska is the cofounder of four, regular series of conferences on informatics and two in quantum information processing, and the founding chair (1989–1996) of the IFIP Specialist Group on Foundation of Computer Science…

Giuseppe Longo, a well-known mathematician and computer scientist, is a former Professor of Mathematical Logic and Theory of Computing, at the University of Pisa (Italy) and, since 1990, Directeur de Recherches at (CNRS) and at the École Normale Supérieure in Paris. Professor Longo has extensively published in many areas including logic and computability, type theory, category theory and their applications to computer science, and interfaces between mathematics, physics, biology, and the philosophy of mathematics. His current work focuses on theories of organisms, in conjunction with evolutionary theories. Since 2013, he is also Adjunct Professor at the Department of Integrative Physiology and Pathobiology, Tufts University School of Medicine, Boston…

Professor Yuri Manin, http://www.mpim-bonn.mpg.de/node/99, is a member of three institutions based in three different countries: the Max Planck Institut für Mathematik, Bonn, Germany, Steklov Mathematical Institute, Academy of Sciences, Moscow, Russia and Northwestern University, Evanston, USA…

Solomon Marcus is a member of the Romanian Academy and Emeritus Professor of the University of Bucharest. He has published about 50 books in Romanian, English, French, German, Italian, Spanish, Russian, Greek, Hungarian, Czech, and Serbo-Croatian, 400 research articles on mathematical analysis, mathematical and computational linguistics, computer science, poetics, linguistics, semiotics, philosophy and history of science, education, relations between science, humanities, philosophy and religion and several hundreds of papers on various cultural topics of general interest. Professor Marcus wrote a paper together with Paul Erdös in 1957 which gives him an Erdös number of 1. He is recognised as one of the initiators of mathematical linguistics and mathematical poetics…

Professor Mioara Mugur-Schachter, http://www.mugur-schachter.net is a physicist, mathematician and philosopher specialising in quantum mechanics, probability theory, information theory and epistemology. Her PhD thesis (supervised by Nobel laureate Louis de Broglie) contains the first invalidation of von Neumann's famous proof stating the impossibility of hidden parameters compatible with the quantum mechanical formalism. This result was included in the volume “Etude du caractére complet de la mécanique quantique”, (with a preface by L. de Broglie) published in the collection “Les grands problémes des sciences”, Gauthiers Villars, Paris, 1964, two years before Bell's invalidation…

Professor G. Rozenberg is a Professor at the Leiden Institute of Advanced Computer Science of Leiden University, The Netherlands, and Adjoint Professor at the Department of Computer Science, University of Colorado in Boulder, USA. He has published over 500 papers, 6 books, and is a (co-)editor of more than 100 books on natural computing, formal language and automata theory, graph transformations and concurrent systems. He has founded a number of journals and book series in theoretical computer science and natural computing. He is often referred to as the guru of natural computing…

Dr. Brian E. Carpenter, http://www.cs.auckland.ac.nz/~brian, is a distinguished computer scientist and engineer working on Internet standards and technology. The University of Auckland was privileged to attract Brian in 2007 and he was appointed professor in 2009. Before coming to Auckland, he led the networking group at CERN, the European Laboratory for Particle Physics and worked for IBM as a Distinguished Engineer. During his career he has published in various areas: automatic speech recognition, control software, programming languages, networking and the history of computing. Brian has chaired the Internet Architecture Board, the Internet Engineering Task Force, and served as a trustee of the Internet Society. Brian was heavily involved in the design and deployment of IPv6. He is also interested in the quality of service, management and measurement issues of the Internet. Brian was a member of the IBM Academy of Technology (membership lapses when one leaves IBM)…

Professor Goles (full name: Eric Antonio Goles Chacc) obtained a Degree in Engineering from the University of Chile, a PhD in Computer Science and the Docteur d'État (Mathematics) from the University of Grenoble; he also studied philosophy for two years at the Catholic University in Santiago. After being a CNRS researcher in France for six years, he returned to Chile as Professor and Director of the National Centre for Mathematical Modelling at the University of Chile. Since 2000, he is the President of the National Commission for Scientific and Technological Research (CONICYT), http://www.conicyt.cl…

Yuri Gurevich is well known to the readers of the Bulletin. He is a Principal Researcher at Microsoft Research (MSR), where he founded a group on Foundations of Software Engineering, and a Professor Emeritus at the University of Michigan. His name is most closely associated with abstract state machines (ASM) but he is also known for his work on logic, complexity theory and software engineering. The Gurevich–Harrington Forgetful Determinacy theorem is a classical result in game theory. Yuri Gurevich is an ACM Fellow, a Guggenheim Fellow, an EATCS fellow and a foreign member of the Academia Europaea, he has obtained honorary doctorates from Hasselt University in Belgium and Ural State University in Russia…

Hermann Maurer, www.iicm.edu/maurer, is a Professor at the Institute for Information Systems and Computer Media (IICM), at the Graz University of Technology. He has a number of advisory roles, the most significant one being a Member of the Board of the Academia Europaea, www.ae-info.org…

Professor Moshe Y. Vardi, www.cs.rice.edu/~vardi/ is the George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University. He is the author and co-author of over 450 papers, as well as two books: Reasoning about Knowledge and Finite Model Theory and Its Applications. He is the co-recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Gödel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, the EATCS Distinguished Achievements Award and the Southeastern Universities Research Association's Distinguished Scientist Award. He is a Fellow of the Association for Computing Machinery, the American Association for Artificial Intelligence, the American Association for the Advancement of Science and the Institute for Electrical and Electronic Engineers. He is a member of the US National Academy of Engineering, the American Academy of Arts and Science, the European Academy of Science and the Academia Europaea. He holds honorary doctorates from the Saarland University in Germany and Orleans University in France. He is currently the Editor-in-Chief of the Communications of the ACM…

Reinhard Wilhelm is Professor and Leader of the Chair for Programming Languages and Compiler Construction at Saarland University. He has been the scientific director of the Leibniz Centre for Informatics at Schloss Dagstuhl from its inception in 1990 until 2014…

The following sections is included:

• Cristian S. Calude: Postface