Research Seminar given by Prof. Peter Lipton