University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability. http://www.ececs.uc.edu/~dpa/
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
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/
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/
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 busi http://www.tm.tue.nl/beta/staff/members/pa010e.htm
Add URL
My Sites
My Account
Contact Us