Shilpi Goel

Ph.D. Student - Computer Science

Email: shigoel at cs dot utexas dot edu

 ____________________________________________________________________________________________________

Home     Classes     Academic Activities     Publications     Personal    

 ____________________________________________________________________________________________________

Fall’10: 1. CS 389R Recursion and Induction 2. SSC 384 7 Bayesian Statistical Methods 3. CS 395T Supervised Teaching in Computer Sciences 4. CS 352 Computer Architecture: Teaching Assistant

Spring’11: 1. CS 388S Formal Semantics and Verification 2. CS 395T Logic-based Artificial Intelligence 3. CS 395 Conference Course

Summer’11: 1. CS 395 Conference Course

Fall’11: 1. CS 380D Distributed Computing 2. CS 394N Neural Networks 3. CS 395 Conference Course

Spring’12: 1. CS 388C Introduction to Math Logic 2. CS 388L Combinatorics and Graph Theory 3. CS 395 Conference Course

Summer’12: 1. CS 395 Conference Course

Fall’12: 1. CS 386L Programming Languages 2. CS 395 Conference Course

Spring’13: 1. CS 395T Practial SAT Solving 2. CS 395 Conference Course