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

graphic with photos of researchers

Award-Winning Research Pushes…

Tuesday, March 10, 2026

graphic with headshots of faculty members

New Research Priorities Chart…

Friday, February 27, 2026

headshots of three men

Understanding the Data Center Building Boom

Tuesday, February 24, 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

Researchers Build AI Tutor Grounded in Course Materials
Institute Announcement Recognizes Faculty Achievement and Excellence
Award-Winning Research Pushes Beyond Yes-or-No Answers in Automated Reasoning

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