National Technical University of Athens - Extended relational database systems, active database systems, and spatial, image and multimedia database systems.
University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired by the world wide web.
Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.
University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
Receive hundreds of new customers for your business
ABSOLUTELY FREE!
Listing your business in Computer Crawler, the leading Computer Search Engine and Directory Online is the best way to reach your target niche audience. List now to ensure your business is found.