Maruth Goyal


pronounciation: MA-ruth
email: maruth@cs.utexas.edu
resume: resume
blog: blog
social: Twitter , GitHub

About

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.

Publications

Teaching

Awards

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

Talks

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

Coursework

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