Mathematical logic; theoretical computer science
326 Davis Hall
Buffalo NY, 14260
Phone: (716) 645-4738
regan@buffalo.edu
Chen Xu
6th Year PhD Candidate, advised by Kenneth W. Regan
Computer Science and Engineering
203 Davis Hall Desk 06
Phone: (716) 645-1583
Email: chenxu@buffalo.edu