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
Division of Mathematics and Computer Science. Research interests center around software engineering; parallel and distributed systems, including programming, distributed shared objects, operating systems support, and wide area cluster computing; agent technology; computational intelligence; knowledge representation and reasoning; lambda calculus; programming language semantics; type theory; and proof checking.