Abrahim
Ladha

General Information

Email:
abrahimladha@gatech.edu
Phone:
+14048942000
Location - Building:
CCB
Location - Room:
207B
Roles:
Lecturer (any rank)
Primary Unit:
School of Computing Instruction

Details

Degrees with subject and Postdoc Experience:
Degree Type
M.S.
Subject
Cybersecurity
Year
2021
Institution
Georgia Institute of Technology
Location
Atlanta
Degree Type
B.S.
Subject
Mathematics
Year
2019
Institution
Georgia Institute of Technology
Location
Atlanta
Statement of Research Interests:

I have research interests in theoretical computer science. These include complexity theory, logic, algorithms, and discrete mathematics. I am also interested in computer science education, and how theoretical computer science can be better taught. This includes with the use of AI, and interaction.

Statement of Teaching Interests:

I teach theoretical computer science courses across the curriculum. These include CS2050 Discrete Mathematics, CS3510 Algorithms, and CS4510 Automata and Complexity. In all courses, there is strong emphasis on problem solving skills, and precision in technical and proof writing. I also advise students through I2P projects, directed readings, and theses.

Selection of recent research, scholarly, and creative activities:

Theory of Computation, a free textbook. Draft available here: https://faculty.cc.gatech.edu/~ladha/toc/

LLMTutorBench: A Benchmark for University-level TCS AI Tutoring Systems, SIGCSE 2026 Lightning Talk