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

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

photo of an open book

What is open‑source AI? A software engineering…

Thursday, July 23, 2026

ideas graphic

New Leadership Appointments…

Thursday, July 16, 2026

Three men holding awards

Professor Receives Third Test of Time Honor in Three…

Friday, July 10, 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

Mahajan Receives NSF CAREER Award
Professor Earns NSF CAREER Award for Data Center Research
What is open‑source AI? A software engineering researcher explains

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