A Tim in its natural environment.
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 firstname.lastname@example.org (Concatenate the bolded text.)
Satisfiability modulo theories (SMT), decision procedures, software and hardware verification, saftey critical systems, automated deduction and applied logic, and program analysis