The goal of this topics course is to study the foundations of different types of logics used commonly in artificial intelligence. Logic forms the basis for many types of reasoning used by humans – ...

Dana Scott, the Hillman University Professor of Computer Science, Philosophy and Mathematical Logic (Emeritus), has received the 2025 K. Jon Barwise Prize from the American Philosophical Association.

Engage in a substantial piece of group research, culminating with the possible production of a paper, as well as a final conference-style presentation. You'll have access to the latest hardware, ...

The Department of Computer Science offers minors in computer science for students who wish to develop stronger competence in computer science while pursuing a degree in another field. The minors ...

Computer science isn't just about coding. It’s the engine behind today’s most exciting innovations — from artificial intelligence to mobile apps and digital security. At Southern New Hampshire ...

The Bachelor of Science (B.S.) in Computer Science at William & Mary prepares students for the ever-evolving field of computing technology. Students will engage with a rigorous and comprehensive ...

Computer science graduate students from around the world are brought together at UW to learn in an exciting atmosphere. Students are encouraged to bring their curiosity and sense of discovery to each ...