Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in People/H
Top
:
Computers
:
Computer Science
:
People
:
H
(11)
[
A

B

C

D

E

F

G

H
I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z
]
Hopper, Grace Murray
@
(7)
Haas, Laura
 IBM Almaden Research Center  Database query processing.
Hannaford, Michael R.
 University of Newcastle  Objectoriented software engineering, objectoriented programming, computer architecture.
Heiser, Gernot
 University of New South Wales  Operating systems and distributed systems, numerical modelling of silicon solar cells.
Held, Martin
 University of Salzburg  Computational geometry, computer graphics, program design, algorithms and data structures, computeraided design and manufacturing.
Henskens, Frans
 University of Newcastle  Global virtual memory, architectural and operating system support for persistence, resilience and availability in database systems, persistent stores for bulk data storage and manipulation.
Herman, Gabor T.
 City University of New York  Image Reconstruction from Projections, Inverse Problems, Discrete Tomography, Biomedical Imaging, Medical Imaging, Geometry of Digital Spaces, Computer Graphics, Visualization, Computer Vision
Hesselink, Wim H.
 University of Groningen  Nondeterminacy, predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems.
Hoffmann, Achim
 University of New South Wales  Artificial intelligence, knowledgebased systems, intelligent data analysis, machine learning, knowledge acquisition, theory of neural networks, philosophical foundations of AI.
Hofmann, Martin
 University of Edinburgh  Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
Honsell, Furio
 University of Udine  Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathematical structures for semantics.
Howell, Rodney R.
 Kansas State University  Selfstabilizing systems, realtime scheduling, Petri nets, and computational complexity.
"
H
" search on:
AOL

Ask

Bing

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982016 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: January 5, 2016 at 6:24:04 UTC 
edit