---

Tony Tan Lecturer School of Computer Science and Informatics University of Liverpool Liverpool, England, UK Room : George Holt Building, Room 2.16 Email : tonytan@liverpool.ac.uk Office hour : Drop by my office or make an appointment via email

Research: (publications) Succinct SAT and DQBF and applications Logic in computer science and applications My team's github account contains our latest codes and papers on DQBF: https://github.com/Sat-DQBF

Teaching: COMP 702, COMP 221

---