451
Christian Haack
(Digital Security Group,
Computing Science Department,
University of Nijmegen,)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Logic Programs / Algebraic Semantics; Model Checking / Hybrid Systems; | |||||
452
Clemens Grelck
( research fellow , Department of Computer Science of the University of Hertfordshire )
|
|||||
|
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
453
Sibylle Schupp
(Associate Professor , Dept. of Computing Science
Chalmers University of Technology)
|
|||||
|
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Parallel Computing / High Performance Fortran; Information Systems Design / Aligning Business Process Modeling; | |||||
454
Randy Allen |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
455
Amitabh Srivastava
(Corporate Vice President
Microsoft Technical Fellow
Technical Fellow, Windows Live Core
Microsoft Corporation)
|
|||||
|
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; File System / Software Systems; Instruction Cache Organizations / Branch Prediction; | |||||
456
Eric Jul
(Professor
Head of the Danish Center for Grid Computing, Department of Computer Science at the University of Copenhagen, Copenhagen, Denmark.
)
|
|||||
|
|
|
||||
| Expertise: File System / Software Systems; Software Engineering / Design Patterns Frameworks; Parallel Applications / Average-Case Performance Analysis; Functional Programming / Binding-Time Analysis; | |||||
457
A. J. Field
(Researcher , Imperial College London)
|
|||||
|
|
||||
| Expertise: Queueing Networks / Time-dependent performance analysis; Parallel Applications / Average-Case Performance Analysis; Functional Programming / Binding-Time Analysis; | |||||
458
Michael Wolfe |
|||||
|
|
||||
| Expertise: Parallel Computing / High Performance Fortran; Parallel Algorithms / Wormhole Networks; Functional Programming / Binding-Time Analysis; | |||||
459
Richard Kelsey |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
460
Preston Briggs |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
461
Arvind
( Professor
)
|
|||||
|
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Instruction Cache Organizations / Branch Prediction; Model Checking / Hybrid Systems; Parallel Computing / High Performance Fortran; | |||||
462
Matteo Frigo |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Channel state information / Universal coding; Dynamic Networks / Extended Abstract; Parallel Computing / High Performance Fortran; | |||||
463
Robert Muth
(Software Engineer, Intel Corporation)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Instruction Cache Organizations / Branch Prediction; | |||||
464
Rowan Davies
(Associate Lecturer, School of Computer Science & Software Engineering at the University of Western Australia.)
|
|||||
|
|
||||
| Expertise: Logic Programs / Algebraic Semantics; Functional Programming / Binding-Time Analysis; | |||||
465
Alice X. Zheng |
|||||
|
|
||||
| Expertise: Bayesian Networks; Machine Learning; Queueing Networks / Time-dependent performance analysis; Functional Programming / Binding-Time Analysis; | |||||
466
Nicholas Nethercote
(Research Fellow, The University of Melbourne)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Instruction Cache Organizations / Branch Prediction; Constraint Programming / Combinatorial Search Problems; Logic Programs; | |||||
467
Damien Sereni
(Research Officer, AddressOxford University Computing Laboratory,)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
468
Ravi B. Konuru |
|||||
|
|
||||
| Expertise: Software Engineering / Design Patterns Frameworks; XML Data; Functional Programming / Binding-Time Analysis; | |||||
469
Olin Shivers
(associate professor , College of Computer and Information Science
Northeastern University)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
470
Jeffrey Considine
(PhD, Computer Science Department
Boston University)
|
|||||
|
|
||||
| Expertise: Wireless network / End-to-end Routing Behavior; XML Data; Functional Programming / Binding-Time Analysis; Wireless Networks / Algorithmic Complexity; | |||||
471
Sigbjorn Finne
(Microsoft Research)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
472
Tachio Terauchi |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
473
Robert Grimm
(rgrimm@cs.nyu.edu, Dept. of Computer Science)
|
|||||
|
|
|
||||
| Expertise: File System / Software Systems; Functional Programming / Binding-Time Analysis; | |||||
474
Michael Hicks
(associate professor, Dept. of Computer Science
University of Maryland)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Security Views / New Denial; | |||||
475
Chi Cao Minh |
|||||
|
|
||||
| Expertise: Instruction Cache Organizations / Branch Prediction; Functional Programming / Binding-Time Analysis; | |||||
476
Hideo Bannai
(Associate Professor, Department of Informatics
Graduate School of Information Science and Electrical Engineering
Kyushu University)
|
|||||
|
|
|
||||
| Expertise: Data Compression / Arithmetic Coding; Data mining; Functional Programming / Binding-Time Analysis; Gene Expression Analysis / Data Clustering; | |||||
477
J. Nathan Foster
(Assistant Professor, Department of Computer & Information Science
University of Pennsylvania)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; XML Data; Finite Languages / Database Queries; | |||||
478
Marina C. Chen |
|||||
|
|
||||
| Expertise: Parallel Computing / High Performance Fortran; Parallel Algorithms / Wormhole Networks; Functional Programming / Binding-Time Analysis; Logic Networks / Fault Simulation; | |||||
479
Bernhard Moller
(Programmiermethodik und
Multimediale Informationssysteme )
|
|||||
|
|
|
||||
| Expertise: Logic Programs / Algebraic Semantics; Functional Programming / Binding-Time Analysis; | |||||
480
Robert Paige |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
481
Fabrice Le Fessant
(I\'m now a full-time researcher in the COMETE project of INRIA-Futurs , located in the Ecole Polytechnique , Collaborators: Bernadette Charron-Bost , Anne-Marie Kermarrec , Luc Maranget , Simon Patarin , Laurent Viennot )
|
|||||
|
|
||||
| Expertise: Dynamic Networks / Extended Abstract; File System / Software Systems; Data Compression / Arithmetic Coding; Functional Programming / Binding-Time Analysis; | |||||
482
Akihiko Tozawa
(IBM Tokyo Research Lab, Shimotsuruma, Yamato-shi, Kanagawa-ken, Japan
Michiharu Kudo IBM Tokyo Research Lab, Shimotsuruma, Yamato-shi, Kanagawa-ken, Japan
Satoshi Hada IBM Tokyo Research Lab, Shimotsuruma, Yamato-shi, Kanagawa-ken, Japan)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Security Views / New Denial; Web Service; | |||||
483
Shail Aditya
(Shail Aditya Gupta received his B.Tech. in Computer Science and Engineering from Indian Institute of Technology, Delhi, India, and his S.M., E.E. and Ph.D. in Computer Science from Massachusetts Institute of Technology, Cambridge, USA. At MIT, Shail was a key contributor in the design and development of the implicitly-parallel dataflow language Id and its successor pH (parallel Haskell). His research interests range from strongly typed programming languages and type inference systems to various aspects of parallel computing including the design of multi-threaded and VLIW compilers, processor architectures and parallel applications)
|
|||||
|
|
||||
| Expertise: Real-Time Systems; Functional Programming / Binding-Time Analysis; | |||||
484
Carsten K. Gomard |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
485
Brent Hailpern
( Director , Programming Models and Tools at the IBM Thomas J. Watson Research Center)
|
|||||
|
|
|
||||
| Expertise: Database Systems / Programming Languages; Functional Programming / Binding-Time Analysis; Software Engineering; Real-Time Systems / Automated Software Test Data; Performance Management / Capacity Planning; | |||||
486
Olivier Tardieu
(Postdoctoral Research Scientist, Columbia University
465 Computer Science Building (MC0401))
|
|||||
|
|
||||
| Expertise: Model Checking / Hybrid Systems; Real-Time Systems; Functional Programming / Binding-Time Analysis; | |||||
487
Scott Thibault |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Grid Computing / Parallel Data; Computing Systems / Fault-Tolerant Real-Time; | |||||
488
Chris Clack
(Senior Lecturer, University College London
Dept. of Computer Science)
|
|||||
|
|
|
||||
| Expertise: Genetic algorithm / Evolutionary Multi-objective Optimization; Coordination model / Applications Track Editorial; Functional Programming / Binding-Time Analysis; | |||||
489
Christian Skalka
(Assistant Professor, Department of Computer Science
University of Vermont)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
490
Gogul Balakrishnan
(NEC Laboratories America, Inc.
4 Independence Way, Suite 200
New Jersey - 08540, USA)
|
|||||
|
|
||||
| Expertise: Model Checking / Hybrid Systems; Functional Programming / Binding-Time Analysis; | |||||
491
Dachuan Yu
(Dept. of Computer Science
Yale University)
|
|||||
|
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Theorem Proving / General-Purpose Automated Reasoning; Programming Language / Multiprogramming System; | |||||
492
Dino Oliva |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
493
Gary Sevitsky |
|||||
|
|
||||
| Expertise: Software Engineering / Design Patterns Frameworks; Functional Programming / Binding-Time Analysis; | |||||
495
Matthew Hertz
(Computer Science Dept)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Instruction Cache Organizations / Branch Prediction; | |||||
496
Claus Brabrand
(Me Claus Brabrand, Ph.D. (January 2003), DAIMI, Department of Computer Science
STENO, Studies of Science and Science Education
BRICS, University of Aarhus, Denmark)
|
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
497
Torben A. Mogensen
(Associate Professor, DIKU)
|
|||||
|
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; | |||||
498
David Gregg
(Lecturer, Department of Computer Science
Trinity College Dublin)
|
|||||
|
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Parallel Computing / High Performance Fortran; Instruction Cache Organizations / Branch Prediction; Reconfigurable Hardware; | |||||
499
Hongwei Xi |
|||||
|
|
||||
| Expertise: Functional Programming / Binding-Time Analysis; Theorem Proving / General-Purpose Automated Reasoning; | |||||
500
Rajiv Gupta |
|||||
|
|
||||
| Expertise: Instruction Cache Organizations / Branch Prediction; Functional Programming / Binding-Time Analysis; Real-Time Systems; | |||||
Copyright (c) 2006-2009 KEG, Tsinghua. All Rights Reserved. | 京ICP备09068414号