Siddharth's Presentations
- Learning Generalized Plans Using Abstract Counting, AAAI-08.
- Curry
Howard Correspondence, Class presentation, Programming
Languages, Spring 2007.
- Towards
Howard Correspondence, Class presentation, Programming
Languages, Spring 2007.
- Towards
Generalized Planning Using 3-valued Logic, Theory Seminar, Fall
2006.
- Proof Complexity, Complexity Theory course, Fall 2006.
- Privacy and Anonymity in Graph Data (presented with Michael Hay and Philipp Weis), Database Design and Implementation, Spring 2006.
- Program
Analysis using TVLA and Connections with Planning in AI, Theory
Seminar, Fall 2005.
- Privacy
vs. Utility in Anonymized Data, project presentation, Hot Topics
in Information Security (presented with Philipp Weis), Fall 2005.