Home | Directory | Advertise with us | Link to us | Contact Us | Your Directory | Manage your Link | About Kapasearch | Submission Guidelines | Term of Use

Category
Home / Software / Business / Software Engineering / People / 		Submit your Site

Result
Number of results: 17
Looking for people  
Find: people. Review & compare!
Sponsored by: http://findstuff.com

people Info  
Get Info on people from 14 search engines in 1.
Sponsored by: http://search4.info.com...

people Information  
Learn about people
Sponsored by: http://couponmountain.com...

Augustsson, Lennart  
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
http://www.cs.chalmers.se/~augustss/
Home / Software / Business / Software Engineering / People /

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.
http://http.cs.berkeley.edu/~aiken/
Home / Software / Business / Software Engineering / People /

Agrawal, Dharma P.  
University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.
http://www.ececs.uc.edu/~dpa/
Home / Software / Business / Software Engineering / People /

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.
http://www.dsic.upv.es/users/elp/alpuente.html
Home / Software / Business / Software Engineering / People /

Altenkirch, Thorsten  
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
http://www.tcs.informatik.uni-muenchen.de/~alti/
Home / Software / Business / Software Engineering / People /

Ariola, Zena M.  
University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
http://www.cs.uoregon.edu/~ariola/
Home / Software / Business / Software Engineering / People /

Auguston, Mikhail  
New Mexico State University - Programming languages design and implementation, the design of the compiler writing language RIGAL, software engineering, testing and debugging automation, assertion languages, visual programming languages.
http://www.cs.nmsu.edu/~mikau/index.html
Home / Software / Business / Software Engineering / People /

Arvind, V.  
Institute of Mathematical Sciences, Chennai - Structural Aspects of Complexity Theory, Program Checking and Interactive Proof Systems, Complexity of Learning, and Randomized Computation.
http://www.imsc.ernet.in/~arvind
Home / Software / Business / Software Engineering / People /

Acharya, Anurag  
University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
http://www.cs.ucsb.edu/~acha/
Home / Software / Business / Software Engineering / People /

Agrawal, Divyakant  
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
http://www.cs.ucsb.edu/~agrawal/
Home / Software / Business / Software Engineering / People /

<< Start < Previous 1 2 Next > End >>




Add Kapasearch to your favorite Add a directory to your site Make Kapasearch your home page