Research seminar in computer science 1