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

Three men holding awards

Professor Receives Third Test of Time Honor in Three…

Friday, July 10, 2026

graphic with photos of grant recipients

Advancing Innovation: Tech…

Thursday, May 21, 2026

woman in graduation attire

Ph.D. Graduate Q&A: Xinyuan Cao

Friday, May 15, 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

What is open‑source AI? A software engineering researcher explains
New Leadership Appointments at the Institute for Data Engineering and Science to Focus on Building Connections and AI Skills
Professor Receives Third Test of Time Honor in Three Years

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