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.
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.
University of Sydney - Algorithmics, including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms.
University of New South Wales - Artificial intelligence, knowledge-based systems, intelligent data analysis, machine learning, knowledge acquisition, theory of neural networks, philosophical foundations of AI.
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.