Spring 2006 - Research laboratory in Foundations of Computer Science (236602)

Place: Taub 337

Sunday, 10:30-12:30

Course worksheets for all 14 sessions [PDF, postscript].

Come and experience research in foundations of computer science. Together we will study new research directions aimed at answering fundamental questions related to algorithms and computation. The course format will be self-study (during class hours) combined with short introductory lectures.

 Tentative list of research questions:

The course is of theoretical nature and assumes mathematical maturity. It is especially recommended for students who have successfully took the Complexity Theory class (236313), but this is not a formal prerequisite.

 Final grade based on participation in class (60%) and homework (40%).


Proof Complexity

Natural Proofs

Fast Matrix Multiplication via Group Theory 

Primes is in P