FREE ELECTRONIC LIBRARY - Dissertations, online materials

Pages:   || 2 | 3 |

«bespeak Dissertation online The following is an academic genealogy of computer scientists and is constructed by following the pedigree of thesis ...»

-- [ Page 1 ] --

bespeak Dissertation online

The following is an academic genealogy of computer scientists and is constructed by following the pedigree

of thesis advisors. == Europe == === Denmark === Peter Naur (Olivier Danvy) === Finland === Arto

Salomaa === France === Many French computer scientists worked at the National Institute for Research in

Computer Science and Control (INRIA). Marcel-Paul Schützenberger Maurice Nivat Philippe Flajolet

Gérard Huet Francois Fages Thierry Coquand Hugo Herbelin Xavier Leroy Christine Paulin-Mohring Didier Rémy François Pottier Bruno Courcelle Louis Nolin Bernard Robinet Emmanuel Saint-James Olivier Danvy (Secondary advisor: Emmanuel Saint-James) Jean-François Perrot Jacques Sakarovitch Jean-Eric Pin Pascal Weil Gérard Berry Gilles Kahn Patrick Cousot Alain Colmerauer === Germany === Karl Steinbuch Franz Baader Carl Adam Petri Martin Odersky === Italy === Corrado Böhm Ugo Montanari Paolo Ciancarini Roberto Gorrieri Nadia Busi Davide Sangiorgi === Netherlands === ==== Van Wijngaarden / Dijkstra ==== Adriaan van Wijngaarden was director of the computer science department at the Centrum Wiskunde & Informatica. It was influential in the development of ALGOL 68.

Cornelis Benjamin Biezeno (1933:

honoris causa. Universiteit van Amsterdam) Adriaan van Wijngaarden (1945: Enige toepassingen van Fourierintegralen op elastische problemen. Technische Universiteit Delft) Willem van der Poel (1956: The

Logical Principles of Some Simple Computers. Universiteit van Amsterdam) Gerard Holzmann (1979:

Coordination Problems in Multiprocessing Systems. Technische Universiteit Delft) Edsger Dijkstra (1959:

Communication with an Automatic Computer. Universiteit van Amsterdam) Nico Habermann (1967: On the Harmonious Co-operation of


Machines. Technische Universiteit Eindhoven) Lawrence Snyder (1973: An Analysis of Parameter Evalutation Mechanisms for Recursive Procedures. Carnegie Mellon University) Tim Teitelbaum (1975: Minimal Distance Analysis of Syntax Errors in Computer Programs.

Carnegie Mellon University) Sten Andler (1979: Predicate Path Expressions: A High-level Synchronization Mechanism. Carnegie Mellon University) John Ousterhout (1980: Partitioning and Cooperation in a

Distributed Multiprocessor Operating System: MEDUSA. Carnegie Mellon University) Philip Wadler (1984:

Listlessness Is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate

Intermediate Lists. Carnegie Mellon University) (Secondary advisor: Guy L. Steele, Jr.) David Notkin (1984:

Interactive Structure-Oriented Computing. Carnegie Mellon University) Martin Rem (1976: Associons and the Closure Statement. Technische Universiteit Eindhoven) (Secondary advisor: Frans Kruseman Aretz) Jan L. A. van de Snepscheut (1983: Trace Theory and VLSI Design. Technische Universiteit Eindhoven) (Secondary advisor: Edsger Dijkstra) Peter Hilbers (1989: Mappings of Algorithms on Processor Networks.

Rijksuniversiteit Groningen) Jan Tijmen Udding (1984: Classification and Composition of Delay-Insensitive Circuits. Technische Universiteit Eindhoven) (Secondary advisor: Edsger Dijkstra) Anne Kaldewaij (1986: A Formalism for Concurrent Processes. Technische Universiteit Eindhoven) (Secondary advisor: Frans Kruseman Aretz) Guus Zoutendijk (1960: Methods of Feasible Directions : A Study in Lineair and Nonlinear Programming. Universiteit van Amsterdam) Marc Nico Spijker (1968: Stability and Convergence of Finite-Difference Methods. Universiteit Leiden) Jaco de Bakker (1967: Formal Definition of Programming Languages: with an Application to the Definition of ALGOL 60. Universiteit van Amsterdam) Willem-Paul de Roever (1974: Recursive Program Schemes: Semantics and Proof Theory. Vrije Universiteit Amsterdam) Paul Vitanyi (1978: Lindenmayer Systems: Structure, Languages, and Growth Functions. Vrije Universiteit Amsterdam) (Secondary advisor: Arto K. Salomaa) Ronald Cramer (1997: Modular design of secure yet practical cryptographic protocols. Universiteit van Amsterdam) (Secondary advisor: Ivan Bjerre Damgård) Peter Grünwald (1998: The minimum description length principle and reasoning under uncertainty.

Universiteit van Amsterdam) Anton Nijholt (1980: Context-Free Grammars : Covers, Normal Forms, and Parsing. Vrije Universiteit Amsterdam) Giuseppe Scollo (1993: The Engineering of Logics. Universiteit Twente) Ed Brinksma (1988: On the Design of Extended LOTOS; a Specification Language for Open Distributed Systems. Universiteit Twente) (Primary advisor: Christian Anton Vissers) John-Jules Meyer (1985: Programming Calculi Based on Fixed Point Transformations: Semantics and Applications. Vrije Universiteit Amsterdam) Wiebe van der Hoek (1992: Modalities for Reasoning about Knowledge and

Quantities. Vrije Universiteit Amsterdam) (Secondary advisor: Johan van Benthem) Joost Kok (1989:

Semantic Models for Parallel Computation in Data Flow, Logic- and Object-Oriented Programming. Vrije Universiteit Amsterdam) Jan Rutten (1989: A Parallel Object-Oriented Language: Design and Semantic Foundations. Vrije Universiteit Amsterdam) Frank S. de Boer (1991: Reasoning about Dynamically Evolving Process Structures: A Proof Theory for the Parallel Object-0riented Language POOL. Vrije Universiteit Amsterdam) Marcello Bonsangue (1996: Topological Dualities in Semantics. Vrije Universiteit Amsterdam) (Secondary advisor: Joost Kok) Reinder van de Riet (1968: Algol 60 as Formula Manipulation Language.

Universiteit van Amsterdam) Peter Apers (1982: Query Processing and Data Allocation in Distributed Database Systems. Vrije Universiteit Amsterdam) Arno Siebes (1990: On Complex Objects. Universiteit Twente) (Secondary advisor: Martin L. Kersten) Martin L. Kersten (1985: A Model for a Secure Programming Environment. Vrije Universiteit Amsterdam) (Secondary advisor: Anthony Ira Wasserman) Stefan Manegold (2002: Understanding, Modeling, and Improving Main-Memory Database Performance.

Universiteit van Amsterdam) Roel Wieringa (1990: Algebraic Foundations for Dynamic Conceptual Models.

Vrije Universiteit Amsterdam) Frances Brazier (1991: Design and Evaluation of a User Interface for Information Retrieval. Vrije Universiteit Amsterdam) (Primary advisor: Sipke D. Fokkema) Hugo Brandt

Corstius (1970: Exercises in Computational Linguistics. Universiteit van Amsterdam) (Secondary advisor:

Frans Kruseman Aretz) Maarten van Emden (1971: An Analysis of Complexity. Universiteit van Amsterdam) Jonathan Schaeffer (1986: Experiments in Search and Knowledge. University of Waterloo) (Secondary advisor: Randy G. Goebel) Peter van Emde Boas (1974: Abstract Resource-Bound Classes.

Universiteit van Amsterdam) (Secondary advisor: Pieter Cornelis Baayen) Arjen Lenstra (1984: Polynomial

Time Algorithms for the Factorization of Polynomials. Universiteit van Amsterdam) Harry Buhrman (1993:

Resource Bounded Reductions. Universiteit van Amsterdam) (Primary advisor: Steven Elliot Homer) Herman te Riele (1976: A Computational Study of Generalized Aliquot Sequences. Universiteit van

Amsterdam) Dick Grune (1982: On the Design of ALEPH. Universiteit van Amsterdam) (Secondary advisor:

Cornelis H. A. Koster) ==== Brouwer / Van Dalen ==== Several of the students of Dirk van Dalen, a descendant of Brouwer, became the first Dutch theoretical computer scientists, which still has a strong focus

on lambda calculus, rewrite systems and functional programming. Luitzen Egbertus Jan Brouwer (1907:

Over de grondslagen der wiskunde. Universiteit van Amsterdam) Arend Heyting (1925: Intuitionistische axiomatiek der projectieve meetkunde. Universiteit van Amsterdam) Dirk van Dalen (1963: Extension

Problems in Intuitionistic Plane Projective Geometry. Universiteit van Amsterdam) Henk Barendregt (1971:

Some Extensional Terms for Combinatory Logics and Lambda-Calculi. Universiteit Utrecht) Roel de Vrijer (1987: Surjective Pairing and Strong Normalization: Two Themes in Lambda Calculus. Universiteit van Amsterdam) Pieter Hartel (1988: Performance Analysis of Storage Management in Combinator Graph Reduction. Universiteit van Amsterdam) (Primary advisor: Bob Hertzberger) Mariangiola DezaniCiancaglini (1996: Logical Semantics for Concurrent Lambda-Calculus. Katholieke Universiteit Nijmegen) (Secondary advisor: Corrado Böhm) Jan van Leeuwen (1972: Rule-Labeled Programs: A Study of a Generalization of Context-Free Grammars and Some Classes of Formal Languages. Universiteit Utrecht)

Mark Overmars (1983: The Design of Dynamic Data Structures. Universiteit Utrecht) Mark de Berg (1992:

Efficient Algorithms for Ray Shooting and Hidden Surface Removal. Universiteit Utrecht) Marc van Kreveld (1992: New Results on Data Structures in Computational Geometry. Universiteit Utrecht) Hans Bodlaender (1986: Distributed Computing - Structure and Complexity. Universiteit Utrecht) Harry Wijshoff (1987: Data Organization in Parallel Computers. Universiteit Utrecht) Gerard Tel (1989: The Structure of Distributed Algorithms. Universiteit Utrecht) Jan Bergstra (1976: Computability and Continuity in Finite Types.

Universiteit Utrecht) Frits Vaandrager (1990: Algebraic Techniques for Concurrency and Their Application.

Universiteit van Amsterdam) Linda van der Gaag (1990: Probability-Based Models for Plausible Reasoning.

Universiteit van Amsterdam) Chris Verhoef (1990: Linear unary operators in process algebra. Universiteit van Amsterdam) Jan Friso Groote (1991: Process Algebra and Structured Operational Semantics. Universiteit van Amsterdam) Wan Fokkink (1994: Clocks, Trees and Stars in Process Theory. Universiteit van Amsterdam) Jaco van de Pol (1996: Termination of Higher-Order Rewrite Systems. Universiteit Utrecht) (Secondary advisor: Marc Bezem) Jan Willem Klop (1980: Combinatory reduction systems. Universiteit Utrecht) Vincent van Oostrom (1994: Confluence for Abstract and Higher-Order Rewriting. Vrije Universiteit Amsterdam) Albert Visser (1981: Aspects of Diagonalization & Provability. Universiteit Utrecht) Wim Ruitenburg (1982: Intuitionistic Algebra, Theory and Sheaf Models. Universiteit Utrecht) Catholijn Jonker (1994: Constraints and Negations in Logic Programming. Universiteit Utrecht) (Secondary advisor: Jan van Leeuwen) Anne Sjerp Troelstra (1966: Intuitionistic General Topology. Universiteit van Amsterdam) Gerard R. Renardel de Lavalette (1985: Theories with Type-free Application and Extended Bar Induction. Universiteit van Amsterdam) Hans van Ditmarsch (2000: Knowledge Games. Rijksuniversiteit Groningen) (Secondary advisor: Johan van Benthem) Ieke Moerdijk (1985: Topics in Intuitionism and Topos Theory. Universiteit van Amsterdam) Marc Bezem (1986: Bar recursion and functionals of finite type.

Universiteit Utrecht) (Secondary advisor: Dirk van Dalen) === Norway === Ole-Johan Dahl Kristen Nygaard Trygve Reenskaug === Poland === Grzegorz Rozenberg Antoni W. Mazurkiewicz === Sweden === Bengt Nordström Lennart Augustsson === United Kingdom === James H. Wilkinson ==== Edinburgh ==== Rod Burstall was one of the founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Rod Burstall (1956: Heuristic and Decision Tree Methods on Computers: Some Operational Research Applications. University of Birmingham) Gordon Plotkin (1972: (dissertation title unknown). University of Edinburgh) Glynn Winskel (1980: Events in Computation. University of Edinburgh) Thomas Hildebrandt Luca Cardelli (1982: An Algebraic Approach to Hardware Description and Verification. University of Edinburgh) Eugenio Moggi (1988: The Partial Lambda Calculus. University of Edinburgh) Philippa Gardner Alex Simpson (computer scientist) J Strother Moore (1973: Computational Logic: Structure Sharing and Proof of Program Properties. University of Edinburgh) Panagiotis Manolios Michael J. C. Gordon Jeffrey Joyce Don Sannella (1982: Semantics, Implementation and Pragmatics of Clear, a Program Specification Language. University of Edinburgh) David Aspinall Martin Hofmann (Secondary advisor: Gordon Plotkin) Thorsten Altenkirch Michael Mendler (Secondary advisor: Michael P.

Fourman) Masahito Hasegawa Robin Popplestone Alan Mycroft ==== Cambridge ==== Maurice Wilkes was the first head of the University of Cambridge Computer Laboratory Maurice Wilkes Peter Wegner Clement McGowan (Secondary advisor: Juris Hartmanis) Daniel M. Berry (Secondary advisor: Clement McGowan) Nancy Leveson (Secondary advisor: Anthony Ira Wasserman) Robin Milner never did a Ph.D.

Robin Milner Mads Tofte Faron Moller Chris Tofts David Wheeler Roger Needham Ross J. Anderson David L. Tennenhouse Peter G. Gyarmati ==== Oxford ==== Christopher Strachey was the first Professor of Computation at Oxford. Christopher Strachey Peter Landin (worked as the assistant of Strachey, did not do a PhD.) Chris Wadsworth Peter Mosses Jens Palsberg David Turner (Secondary advisor: Dana Scott) Tony Hoare established the undergraduate computer science course and led the Oxford University Computing Laboratory for many years. Tony Hoare Cliff Jones (computer scientist) Tobias Nipkow Bill Roscoe Peter Lauer (computer scientist) Eike Best Javier Esparza ==== Warwick ==== Mike Paterson Leslie Valiant == North America == === Church === Siméon Poisson (1800: (dissertation title unknown). École Polytechnique) Michel Chasles (1814: (dissertation title unknown). École Polytechnique) H. A. Newton (1850: (dissertation title unknown). Yale University) E. H. Moore (1885: Extensions of Certain Theorems of Clifford and Cayley in the Geometry of n Dimensions. Yale University) Oswald Veblen (1903: A System of Axioms for Geometry. The University of Chicago) Philip Franklin Alan Perlis Gary Lindstrom David Parnas Richard J. Lipton Dan Boneh Avi Wigderson Alonzo Church (1927: Alternatives to Zermelo's Assumption.

Princeton University) Stephen Kleene (1934: A Theory of Positive Integers in Formal Logic. Princeton University) Robert Lee Constable (1968: Extending and Refining Hierarchies of Computable Functions.

Pages:   || 2 | 3 |

Similar works:

«MINUTES of the COUNCIL MEETING held on MONDAY 20 SEPTEMBER 2010 COUNCIL MINUTES 2 20 SEPTEMBER 2010 Minutes of the Council Meeting held in the Council Chamber, Braeside Avenue, Ringwood, on Monday 20 September 2010 at 7.30pm.PRESENT Cr Alex Makin, Mayor Mullum Cr Tony Dib Arrabri Cr Ann Fraser Mullum Cr Nora Lamont Mullum Cr Michael Macdonald Wyreena Cr Paul Macdonald Arrabri Cr Rob Steane Wyreena Cr Les Willmott Wyreena Trevor Welsh Acting Chief Executive Officer / Director Operations &...»

«The Discursive and Social Power of News Discourse: The case of Aljazeera in comparison and parallel with the BBC and CNN Leon Barkho Jönköping University Abstract This study pursues a textual analysis of the online news output produced mainly by Aljazeera in comparison and parallel with the online news output of both the BBC and CNN. But it steers away from mainstream CDA literature by focusing on aspects other than texts. The analysis triangulates CDA with ethnographic research which...»

«FUNDRAISING RESOURCE GUIDE INTRODUCTION This Fundraising Resource Guide is designed to assist and inform sport clubs of fundraising opportunities. It is recommended that each club establishes a fundraising officer to be responsible for keeping things organized and efficient. Fundraising is one of the most important responsibilities of a sport club. Clubs may receive only a portion of their budget from the university/department; therefore they rely heavily on membership dues and fundraising...»

«California’s Golden Opportunity LCAP’s Theory of Action Problems and Corrections Michael Fullan July 2015 Note This is the third commentary under the title of California’s Golden Opportunity published by Michael Fullan and others (see www.michaelfullan.ca), and supported by the Stuart Foundation. The three notes are: 1. California’s Golden Opportunity: A Status Note Michael Fullan & Team November 2014 2. A Golden Opportunity: The California Collaborative for Educational Excellence as a...»

«ISSN: 1728 3248 Mekong River Commission Overview of the Hydrology of the Mekong Basin November 2005 Meeting the Needs, Keeping the Balance Overview of the Hydrology of the Mekong Basin Mekong River Commission Overview of the Hydrology of the Mekong Basin November 2005 i Overview of the Hydrology of the Mekong Basin Contents Foreword 1 Introduction 2 Catchment Geography 2.1 General Background 2.2 Hydrological Reaches and Reaches of the Mekong Mainstream 2.3 The Tonle Sap System 3 The Climate of...»

«Marketing Bulletin, 2009, 20, Article1 Using Polarisation to Reveal Systematic Deviations in Dirichlet Loyalty Estimation Fang Li, Cullen Habel, Cam Rungie Fader and Schmittlein (1993) established that the larger brands in a product category often have excess loyalty relative to the benchmark provided by the Dirichlet Model. This paper extends the analysis to loyalty measures they did not consider and to the phenomenon known as double jeopardy. The implications for management are discussed....»

«WINNERS REVEALED FOR THE DAILY MIRROR’S PRIDE OF BRITAIN AWARDS 2013 THE UK’S BIGGEST EVENT FOR UNSUNG HEROES TUESDAY 8 OCTOBER, 8PM, ITV The Daily Mirror’s Pride of Britain Awards, sponsored by Lidl, is back and bigger than ever. Hosted by Carol Vorderman, the annual glittering ceremony marks its 15th year with a star-studded gala at the Grosvenor House on London's Park Lane, which will be televised on Tuesday 8 October, 8pm on ITV in a two-hour special. The Daily Mirror's 15th annual...»

«IREG-5 Conference: The Academic Rankings: From Popularity to Reliability and Relevance organized by: IREG Observatory on Academic Ranking and Excellence and CHE Centre for Higher Educational Development, Guetersloh, Germany Sponsored by the With support of German Academic Exchange Service (DAAD) Berlin, 6-8 October 2010 Conference venue (all sessions): Berlin-Brandenburg Academy of Science (Berlin-Brandenburgische Akademie der Wissenschaften), Markgrafenstraße 38 ABSTRACTS AND SPEAKERS Session...»

«TITLE 35 LIENS CHAPTER 35-01 GENERAL PROVISIONS 35-01-01. Scope of statutes relating to liens. The general statutes relating to liens apply to all liens, including mortgages and pledges, unless from the context relating to any of them a different intention appears, and except as modified by the provisions of chapter 41-09. 35-01-02. Definition of lien. A lien is a charge imposed upon specific property by which it is made security for the performance of an act. 35-01-03. Classification of liens...»

«Event Electronics EZbus™ Midi Implementation Document Date: August 22, 2001 Firmware Version: 1.00 OVERVIEW This document is for software developers who want to take full advantage of the EZbus control surface and mix engine within their application. The communication protocol described here is conventional MIDI. Note that many of the EZbus system exclusive functions are also available through USB vendor-specific bulk I/O messages. Although USB bulk messages transmit fast, they require...»

«APPROVED by the Annual General Meeting of the Shareholders of the Open Joint-Stock Company North-West Telecom Minutes No. 01-09 from 25.06.2009 Chairperson of the General Meeting of the Shareholders _ V.A. Akulich CHARTER (ARTICLES OF ASSOCIATION) of the Open Joint-Stock Company North-West Telecom (version 07-09) Saint Petersburg Open Joint-Stock Company North-West Telecom Article 1. General 1.1. The Open Joint Stock Company North-West Telecom (hereinafter referred to as “the Company”),...»

«CELEBRATION OF THE STRANGE: YOUYANG ZAZU AND ITS HORROR STORIES by LIN WANG (Under the Direction of Karin Myhre) ABSTRACT This dissertation seeks to uncover the artistic appeal and significance of horror tales in Youyang zazu with the assistance of Western concepts and theories. The study begins with an examination of the Youyang zazu collection in its textual and cultural context and argues that it is assembled according to the aesthetic principle of qi which rejects the normal and the...»

<<  HOME   |    CONTACTS
2016 www.dissertation.xlibx.info - Dissertations, online materials

Materials of this site are available for review, all rights belong to their respective owners.
If you do not agree with the fact that your material is placed on this site, please, email us, we will within 1-2 business days delete him.