| 1 J. Barkley Rosser (Professor, James Madison University Department of Economics) |
|
|
||||
| Expertise: Infinitary Logic / Recursive Models | |||||
| 2 Hao Wang (Professor, Center for Logic and Information and Math, Stats & CS Dept., St Francis Xavier University) |
| |
|
||||
| Expertise: Gene Expression Analysis / Data Clustering Wireless Networks / Cellular Systems Infinitary Logic / Recursive Models | |||||
| 3 C. West Churchman (Peace and Conflict Studies, University of California, Berkeley) |
|
|
||||
| Expertise: Infinitary Logic / Recursive Models | |||||
| 4 Alfred Tarski |
|
|
||||
| Expertise: Infinitary Logic / Recursive Models | |||||
| 5 David L. Nelson |
|
|
|||
| Expertise: Expression data / Microarray experiment Web Data / Database design Infinitary Logic / Recursive Models | ||||
| 6 R. M. Martin (Music by Genre, Artist, or Record Label | Books by Genre, or Author) |
|
|
||||
| Expertise: Infinitary Logic / Recursive Models | |||||
| 7 M. S. Bartlett (Associate Professor, Institute for Neural Computation University of California) |
| |
|
||||
| Expertise: Channel state information / Universal coding Face Recognition / Human Motion Object Recognition / Two-View Motion Estimation Machine Learning | |||||
| 8 Noam Chomsky (Institute Professor & Professor of Linguistics (Emeritus), Institute Professor & Professor of Linguistics (Emeritus)) |
|
|
||||
| Expertise: Finite Languages / Database Queries Learning Search Control Rules / Explanation-based Approach | |||||
| 9 Frank Harary (Distinguished Professor, Computer Science Department New Mexico State University) |
|
|
||||
| Expertise: Random graph / Independence number | |||||
| 10 W. C. Ogden |
|
|
|||
| Expertise: Infinitary Logic / Recursive Models | ||||
| 11 C. C. Gotlieb (Professor, University of Toronto, Department of Computer Science) |
|
|
||||
| Expertise: Error function / Runge-Kutta integration Database Systems Computer / Systems | |||||
| 12 E. Specker |
|
|
||||
| Expertise: Communication Complexity / Lower Bounds Der Informatik / Zur Bedeutung von Modellen Finite Languages / Database Queries | |||||
| 13 Martin Davis |
|
|
|||
| Expertise: Infinitary Logic / Recursive Models | ||||
| 14 P. Suppes (Emeritus Professor of Philosophy, Department of Philosophy, Building 90 Stanford University) |
| |
|
||||
| Expertise: Intelligent Information System / Expert Systems Infinitary Logic / Recursive Models | |||||
| 15 Andrzej Ehrenfeucht (Professor, Mathematics and technology New Mexico State University) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Automata Theory / Slender Languages Finite Languages / Database Queries Infinitary Logic / Recursive Models | |||||
| 16 Zoltan Dienes |
|
|
|||
| Expertise: Wireless Networks / Cognitive Tasks | ||||
| 17 Jaakko Hintikka (Academy of Finland, 1970-81) |
|
|
||||
| Expertise: Infinitary Logic / Recursive Models | |||||
| 18 E. Colin |
|
|
|||
| Expertise: Channel state information / Universal coding Adaptive Mobile Applications / Pervasive Computing Systems | ||||
| 19 Alan Rose |
|
|
||||
| Expertise: Infinitary Logic / Recursive Models | |||||
| 20 Jack Dennis (Professor, Computer Science and Engineering) |
| |
|
||||
| Expertise: Instruction Cache Organizations / Branch Prediction Computer / Systems | |||||
| 21 S. Feferman (Professor, Department of Mathematics Stanford University ) |
| |
|
||||
| Expertise: Infinitary Logic / Recursive Models | |||||
| 22 R. M. Mason |
|
|
||||
| Expertise: Information Systems / Case Study | |||||
| 23 R. G. Kelly |
|
|
||||
| Expertise: E-learning Support System / Neural Networks Error function / Runge-Kutta integration Automata Theory / Slender Languages Simulation system / Manufacturing Systems | |||||
| 24 C. E. Shannon (Professor) |
| |
|
||||
| Expertise: Finite Languages / Database Queries | |||||
| 25 F. L. (computer scientist and professor emeritus, Munich University of Technology) |
|
|
||||
| Expertise: Der Wirtschaftsinformatik / Bedeutung und Ziele von Computer / Systems Functional Programming / Binding-Time Analysis | |||||
| 26 Robert McNaughton (Emeritus Professor, Harvard University) |
|
|
||||
| Expertise: Communication Complexity / Lower Bounds Automata Theory / Slender Languages | |||||
| 27 Herbert S. Wilf (Professor, Mathematics University of Pennsylvania ) |
| |
|
||||
| Expertise: Random graph / Independence number Finite Sets / New Designs | |||||
| 28 W. Bauer |
|
|
|||
| Expertise: Error function / Runge-Kutta integration Information Visualization / Turning Data Parallel Computing / High Performance Fortran | ||||
| 29 R. T. Nelson |
|
|
|||
| Expertise: Error function / Runge-Kutta integration Expression data / Microarray experiment | ||||
| 30 B. Gordon |
|
|
|||
| Expertise: Error function / Runge-Kutta integration Finite Sets / New Designs | ||||
| 31 Hugo Ribeiro |
|
|
|||
| Expertise: Infinitary Logic / Recursive Models | ||||
| 32 R. R. Reynolds |
|
|
||||
| Expertise: Error function / Runge-Kutta integration | |||||
| 33 Arto Salomaa (Academy Professor at the Academy of Finland) |
| |
|
||||
| Expertise: Automata Theory / Slender Languages | |||||
| 34 M. Halle (Director, Harvard Medical School) |
|
|
||||
| Expertise: Image Registration / MR Images Interactive Visualization / Computer graphics Information Systems Design / Software Engineering | |||||
| 35 Theodore Williams (100 North Broadway, Suite 2100 St. Louis, MO 6310) |
| |
|
||||
| Expertise: Error function / Runge-Kutta integration Virtual Enterprise / Collaborative Networks | |||||
| 36 Nuel Belnap |
|
|
||||
| Expertise: Infinitary Logic / Recursive Models | |||||
| 37 N. Rochester |
|
|
|||
| Expertise: Error function / Runge-Kutta integration Mass Storage System / Data Base Management Systems | ||||
| 38 R. M. Mason |
|
|
|||
| Expertise: Knowledge Management / Minitrack Introduction Information Systems / Case Study | ||||
| 39 C. C. Chang |
|
|
|||
| Expertise: Knowledge-based system / CommonKADS design model Infinitary Logic / Recursive Models | ||||
| 40 G. Schneider |
|
|
||||
| Expertise: Der Informatik / Zur Bedeutung von Modellen DNA sequence / ENZYME database | |||||
| 41 Benjamin F. Logan |
|
|
|||
| Expertise: Channel state information / Universal coding Error function / Runge-Kutta integration | ||||
| 42 A. E. Scott |
|
|
|||
| Expertise: Error function / Runge-Kutta integration Approximation Algorithms / Perfect Graphs Information Systems Design / Micro computer software | ||||
| 43 D. Marshall |
|
|
|||
| Expertise: Error function / Runge-Kutta integration | ||||
| 44 T. Gorman |
|
|
|||
| Expertise: Neural Networks / Biometric Hand-Geometry Recognition | ||||
| 45 Richard M. Karp (Professor, Department of Electrical Engineering and Computer Science University of California at Berkeley) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs Data Compression / Arithmetic Coding | |||||
| 46 Vannevar Bush |
|
|
|||
| Expertise: User Interface Design / Cultural Diversity | ||||
| 47 M. O. Rabin (Professor, Harvard School of Engineering and Applied Sciences) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Finite Languages / Database Queries Dynamic Networks / Extended Abstract Signature Schemes / Authenticated Key Exchange Secure Infinitary Logic / Recursive Models | |||||
| 48 Joseph Traub (Professor, Department of Computer Science Columbia University ) |
| |
|
||||
| Expertise: Error function / Runge-Kutta integration Nonlinear problem / Average complexity Computer / Systems | |||||
| 49 A. S. Fraenkel (Professor, Dept of Compu Sci & Appl Math Weizmann Institute of Science ) |
| |
|
||||
| Expertise: Random graph / Independence number Information Retrieval / Probabilistic Indexing Automata Theory / Slender Languages Finite Sets / New Designs Game Design / Pervasive Gaming Applications | |||||
| 50 Dana S. Scott (Professor, Carnegie Mellon University) |
| |
|
||||
| Expertise: Logic Programs / Algebraic Semantics Infinitary Logic / Recursive Models | |||||