After completing the Candidacy Examination successfully, the PhD in Computer Science candidate must prepare a thesis proposal that outlines, in detail, the specific problems that will be solved in the ...

This course will discuss fundamental concepts and tools in discrete mathematics with emphasis on their applications to computer science. Example topics include logic and Boolean circuits; sets, ...