A Tim in its natural environment.

Tim King

PhD Student
New York University

Contact Information: Courant Institute of Mathematical Sciences
Department of Computer Science
New York University
251 Mercer Street, Room 406
New York, NY 10012-1185

Email: tim a king@cs.nyu.edu (Concatenate the bolded text.)

Research Interests
Satisfiability modulo theories (SMT), decision procedures, software and hardware verification, saftey critical systems, automated deduction and applied logic, and program analysis