SomaliNet
SCREEN:
NORMAL
NARROW
SERVICES:
TRANSLATIONS
PROMOTIONS
SOMALINET:
ABOUT US
CONTACT US
PRIVACY INFO
SITE STATUS
somali somalia
HOME
NEWS
BUSINESS
CHAT
SINGLES
DIRECTORY
FORUMS
BLOGS
VIRTUAL LIBRARY
PHOTO GALLERY
MORE
WHAT'S NEW!
::
HOME
::
DIR
::
COMPUTERS
::
COMPUTER_SCIENCE
::
PEOPLE
::
A
TRANSLATIONS
PROMOTIONS
ENGLISH SOMALI DICTIONARY
SOMALI ENGLISH DICTIONARY
SOMALIA ON SOMALINET
VIDEOS
SITE MAP
ABOUT SOMALINET
Please bear with us as the site is going through many changes ranging from backend software upgrades to new design.
Some sections may become inaccesible in the next few weeks.
FEEDBACK
|
OLD FRONT PAGE
NEW SECTION
TEST DRIVE
SOMALINET
VIDEOS SECTION!!!
SEARCH DIRECTORY
fopen(dir_cache/7a893d2ee185abd85a04154bc9103757) [
function.fopen
]: failed to open stream: Permission denied
Error writing to cache!
only in People/A
Top
:
Computers
:
Computer Science
:
People
:A
(16)
[
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
]
Abreu, Luis
- Escola Secundária de Jaime Moniz - Biography and links.
Acharya, Anurag
- University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
Agrawal, Dharma P.
- University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.
Agrawal, Divyakant
- University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
Aiken, Alex
- Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.
Ajmani, Sameer
- MIT - Distributed systems, software engineering and security.
Almeroth, Kevin
- University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
Alpuente, María
- Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.
Altenkirch, Thorsten
- Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
Amarasinghe, Saman
- MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
Ariola, Zena M.
- University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
Artemov, Sergei N.
- City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
Arun-Kumar, S.
- Indian Institute of Technology, Delhi - Semantics and Verification
Augusto, Juan Carlos
- University of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and Industry, Verification of behavioural properties of systems.
Augustsson, Lennart
- Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
van der Aalst, Wil
- Eindhoven University of Technology - Information systems, simulation, Petri nets, process models, workflow management systems, verification techniques, enterprise resource planning systems, computer supported cooperative work, and interorganisational business processes.
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor