Loading...
Computers and technology — programming languages, software, hardware, internet services, security, artificial intelligence, and more. Explore thousands of tech resources organized by a knowledgeable community of editors.
56203 resources
University of Pennsylvania. Programming languages, type systems, and distributed programming.
Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems
University of Texas at Austin - Software engineering, system evolution, large-scale systems.
University of Cambridge - Interactive theorem proving and its applications.
University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.
Research interests intersecting areas of computer science including: algorithms and complexity theory, video game programming, procedural content generation, artificial intelligence, computer graphics, neural networks, and parallel computing.