Maruth Goyal

pronounciation: MA-ruth
resume: resume
blog: blog
social: Twitter , GitHub


I am a sophomore majoring in Mathematics, and Computer Science in the Turing Scholars honors program at the University of Texas at Austin. My interests lie in Program Analysis, and Synthesis. I do research as a part of the UToPiA group, advised by I┼čil Dillig . I also have an interest in complexity theory. Outside of school, I enjoy playing the guitar a lot, and am a big fan of the Blues, and rock. I really like cooking (and eating) all sorts of food. I also quite like watching NBA.




Undergraduate Research Fellow, UT Austin Spring 2020
2nd place, Albert A. Bennett Linear Algebra competition Fall 2019
Ajit B. Ramchandani endowed Presidential Scholarship 2018

Some Projects

Lecture Notes

  1. Circuit lower bounds for PH, Karp-Lipton Theorem
  2. Karp-Lipton Style Theorems
  3. Natural Proofs Barrier
  4. Razborov-Smolensky, constant depth lower bounds for PARITY
  5. Relativization Barrier


Theory Thing Episode 5: P vs. NP and the Relativization Barrier pdf
CS388T Project: Karp-Lipton Style Theorems pdf


  • Spring 2020
  • Fall 2019
  • Spring 2019
  • Fall 2018