Tim King

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

Publications:

• Exploring and categorizing error spaces using BMC and SMT with Clark Barrett
  In Proceedings of SMT Workshop, 2011. [ bib | .pdf ]
• CVC4 with Clark Barrett, Christopher Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Andrew Reynolds, and Cesare Tinelli
  In Proceedings of CAV, 2011. [ bib | DOI | .pdf ]

Projects:

• CVC4 and CVC3, SMT solverers
• Cascade, a Java verification framework
• transmit: An alpha version of the transmit prototyping language. Use at own risk.
• Tiny TCAS, finding collisions using techniques from SMT in a scaled down version of the Traffic Alert and Collision Avoidance system. Project is in Collaboration with MIT Lincoln Labs.

Teaching:

• Fundamental Algorithms (Fall 2009) (TA)
• Programming Abstractions (Winter 2008, Spring 2008, Summer 2008) (Section Leader)
• Programming Methodology (Winter 2006, Summer 2006) (Section Leader)