CIS 5110, Spring 2026
Introduction to The Theory of Computation

Course Information
February 4, 2026

** Welcome to CIS5110, Spring 2026 **

Coordinates:

Lecture: Tuesday-Thursday, noon-1:30pm, DRL A8
Recitation: ? Thursday, 5:00-6:15pm ?

Instructor:

Jean H. Gallier, Levine 402, 8-4405, jean@seas.upenn.edu

Office Hours:

TA/Graders:

Jocelyn Quaintance (head TA), jocelynq@seas.upenn.edu
Prithvi Seshadri (ps27@seas.upenn.edu)
Shreya Kethan (shreya09@seas.upenn.edu)
Abirami Rathina (arathina@seas.upenn.edu)
Ria Kundra (kundra12@seas.upenn.edu)
Tripti Triphati (triptit@seas.upenn.edu)
Vinod Ganchi (gvinod@seas.upenn.edu)
Dhairya Ameria (ameria9@seas.upenn.edu)
Ishita Munshi (ishita03@seas.upenn.edu)
Ishita Rai (ishitar@seas.upenn.edu)
Vasmi Kishore Kumar (nkvk@seas.upenn.edu)

Office Hours:


Course Format

I will lecture in person in DRL A8. Lectures will be recorded and some office hours and recitations will be conducted on zoom and recorded as well.

In order to increase the level of interaction between the students and the instructor(s) I propose to use the following scenario.

There will be homework problems (some challenging) but no midtems and no final exam.


CANVAS Account

There is a CANVAS account for the course: CIS 5110-001 202610
https://canvas.upenn.edu/courses/1912392
You should have access to it using your Pennkey.

This account contains the video recordings and reading material that
you should consult each week.

Look for Class Recordings and Files.

There is also an Ed Account: https://edstem.org/us/courses/92826/discussion
Slides and Notes

Textbook (not required):

Introduction to Automata Theory, Languages and Computation, J.E. Hopcroft, R. Motwani, and J.D. Ullman, Addison Wesley, third edition (July 8, 2006). The second edition is also fine.

Also recommended:

Elements of the Theory of Computation, H. Lewis and C. Papadimitriou, Prentice Hall

Latex Tutorial :

html


[   Grade (Homeworks, Exams)   |  Additional Resources   |  Syllabus   |  Slides and Notes   ]


A Word of Advice :

Expect to be held to high standards, and conversely! In addition to transparencies, I will post lecture notes. Please, read the course notes regularly, and start working early on the problems sets. They will be hard! Take pride in your work. Be clear, rigorous, neat, and concise.

You MUST use a good text editor, such as LATEX, to write up your solutions ( NO hand written solutions will be accepted).

Please submit your homework solutions on gradescope, NOT on canvas.

Due to the difficulty of the homework problems and in order to give you an opportunity to learn how to collaborate more effectively (I do not mean "copy"), I will allow you to work in small groups. A group consists of AT MOST THREE students.

You are allowed to collaborate with the same person(s) an unrestricted number of times.
Only one homework submission per group. All members of a group will get the SAME grade on a homework or a project (please, list all names in a group).

It is forbidden to use solutions of problems posted on the internet. If you use resources other than the textbook (or the recommended textbooks) or the class notes, you must cite these references.

Plagiarism Policy

I assume that you are all responsible adults.
Copying old solutions verbatim or blatantly isomorphic solutions are easily detectable.
DO NOT copy solutions from old solution sheets, from books, from solutions posted on the internet, or from friend!
Either credit will be split among the perpetrators, or worse!

Back to Gallier Homepage

published by:

Jean Gallier