Skip to main navigation Skip to main content
Georgia Institute of Technology

School of Computer Science

College of Computing

Main navigation

  • About
    • What is Computer Science?
    • Faculty Hiring
    • Building & Facilities
    • About Atlanta
    • Annual Report
    • Contact Us
  • Academics
    • MS Programs
    • Ph.D. Programs
    • Distance Learning
    • International Study
    • Admissions & Financial Aid
  • Research
    • Computer Architecture
    • Data Systems and Analytics
    • Foundations of Artificial Intelligence
    • Networks
    • Programming Languages & Software Engineering
    • Systems
    • Theory
    • Groups & Labs
    • Institutes & Centers
  • People
    • Directory
    • Faculty
    • Staff
  • News and Events
    • News
    • Upcoming Events
    • Calendar
    • Signal
  • SCS Chair Search

Search

graphic with photos of researchers

Award-Winning Research Pushes Beyond Yes-or-No Answers in Automated Reasoning

Tuesday, March 10, 2026
Three researchers in the School of Computer Science were recently awarded for their research on a fundamental problem in automated reasoning.
Read more at cc.gatech.edu

Recent Stories

woman in graduation attire

Ph.D. Graduate Q&A: Marina Vemmou

Tuesday, May 12, 2026

graphic showing molecules

AI Falls Short on 'Simple' Chemistry Tasks,…

Friday, April 17, 2026

graphic of computer with researchers in front of it

Researchers Build AI Tutor Grounded in Course Materials…

Thursday, April 2, 2026

  • Georgia Tech Resources
  • Offices and Departments
  • News Center
  • Campus Calendar
  • Special Events
  • GreenBuzz
  • Institute Communications
  • Visitor Resources
  • Campus Visits
  • Directions to Campus
  • Visitor Parking Information
  • GT visitor Wireless Network Information
  • Georgia Tech Global Learning Center
  • Georgia Tech Hotel and Conference Center
  • Barnes and Noble at Georgia Tech
  • Ferst Center for the Arts
  • Robert C. Williams Paper Museum
  • Colleges, Instructional Sites and Research
  • Colleges
  • College of Computing
  • College of Design
  • College of Engineering
  • College of Lifetime Learning
  • College of Sciences
  • Ivan Allen College of Liberal Arts
  • Scheller College of Business
  • Instructional Sites
  • Georgia Tech-Europe
  • Georgia Tech-Shenzhen
  • Georgia Tech Online
  • Professional Education
  • The Language Institute
  • Global Footprint
  • Global Engagement
  • Research
  • Research at Georgia Tech
  • Georgia Tech Research Institute
  • Commercialization
  • Enterprise Innovation Institute
  • Corporate Engagement

College of Computing Resources Menu

  • College of Computing Resources
    • Intranet
  • Student and Parent Resources
  • Student Resources
  • Apply
  • BuzzPort
  • Buzzcard
  • Career Center
  • Commencement
  • Graduate and Postdoctoral Education
  • Undergraduate Education
  • Library
  • Student Life
  • Student Entrepreneurship
  • Education Abroad
  • Canvas
  • Parent Resources
  • Parent and Family Programs
  • Division of Student Life
  • Scholarships and Financial Aid

News Feed

Advancing Innovation: Tech Ready Grants Support Faculty Commercialization Efforts
Ph.D. Graduate Q&A: Xinyuan Cao
Ph.D. Graduate Q&A: Marina Vemmou

College of Computing

Georgia Institute of Technology

North Avenue
Atlanta, GA 30332

404.894.2000 College of Computing Map

  • General
  • Directory
  • Employment
  • Emergency Information
  • Legal
  • Equal Opportunity, Nondiscrimination, and Anti-Harassment Policy
  • Legal & Privacy Information
  • Human Trafficking Notice
  • Title IX/Sexual Misconduct
  • Hazing Public Disclosures
  • Accessibility
  • Accountability
  • Accreditation
  • Report Free Speech and Censorship Concern
Georgia Tech

© 2026 Georgia Institute of Technology

GT LOGIN

GT LOGIN