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

 ____________________________________________________________________________________________________