SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Dan Kilgallin Klaus Sutner Complementing Buchi Automata Over Bi-infinite Words