Spyros A. Hadjichristodoulou
Stony Brook University
Computer Science Department
Applied Logic Lab
Who am I?
What have I done?
During my years at Stony Brook I was a Teaching Assistant for the following courses:
CSE 150 - Honors in Computer Science, taught by professor Rob Johnson (Fall 2009)
CSE 307 - Principles of Programming Languages, taught by Dr. Thom Rothamel (Fall 2009)
CSE 307 - Principles of Programming Languages, taught by professor Eugene Stark (Spring 2010)
CSE 548 - Analysis of Algorithms, taught by professor Ker-I Ko (Spring 2010)
CSE 505 - Computing with Logic, taught by professor David Warren (Spring 2012). I was actually lucky enough to give a lecture on Well-Founded Semantics during this course :)
CSE 504 - Compiler Design, taught by professor C.R. Ramakrishnan (Spring 2013)
I had the honor to be selected as Stony Brook's Computer Science Department TA of the year 2009-2010. I guess some of the hard work eventually pays off :)